Model Theory Third Edition

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

ISBN: 9780486488219 | 0486488217
Cover: Paperback
Copyright: 6/13/2012

Rent

(Recommended)

$23.14

Term

Due

Price

Semester

Dec 13

$24.36

Quarter

Aug 16

$23.14

Short Term

Jul 6

$21.93

*This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.
Buy Used

Usually Ships in 3-5 Business Days

$28.10
Buy New

Usually Ships in 3-5 Business Days

$38.82
eBook

Available Instantly

Online: 1825 Days

Downloadable: Lifetime Access

$39.32

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. Extensively updated and corrected in 1990 to accommodate the most recent developments in model theoretic methods, including classification theory and nonstandard analysis, this third edition of the bestselling classic added entirely new sections, exercises, and references.

Please wait while the item is added to your bag...

Introduction	p. 1
What is model theory?	p. 1
Model theory for sentential logic	p. 4
Languages, models and satisfaction	p. 18
Theories and examples of theories	p. 36
Elimination of quantifiers	p. 49
Models constructed from constants	p. 61
Completeness and compactness	p. 61
Refinements of the method. Omitting types and interpolation theorems	p. 77
Countable models of complete theories	p. 96
Recursively saturated models	p. 109
Lindstrom's characterization of first order logic	p. 127
Further model-theoretic constructions	p. 136
Elementary extensions and elementary chains	p. 136
Applications of elementary chains	p. 147
Skolem functions and indiscernibles	p. 163
Some examples	p. 178
Model completeness	p. 186
Ultraproducts	p. 211
The fundamental theorem	p. 211
Measurable cardinals	p. 227
Regular ultrapowers	p. 248
Nonstandard universes	p. 262
Saturated and special models	p. 292
Saturated and special models	p. 292
Preservation theorems	p. 306
Applications of special models to the theory of definability	p. 323
Applications to field theory	p. 342
Application to Boolean algebras	p. 372
More about ultraproducts and generalizations	p. 384
Ultraproducts which are saturated	p. 384
Direct products, reduced products, and Horn sentences	p. 405
Direct products, reduced products, and Horn sentences (continued)	p. 420
Limit ultrapowers and complete extensions	p. 447
Iterated ultrapowers	p. 453
Selected topics	p. 482
Categoricity in power	p. 482
An extension of Ramsey's theorem and applications; some two-cardinal theorems	p. 509
Models of large cardinality	p. 534
Large cardinals and the constructible universe	p. 558
Set theory	p. 579
Open problems in classical model theory	p. 597
Historical notes	p. 603
References	p. 623
Additional references	p. 634
Index of definitions	p. 641
Index of symbols	p. 649
Table of Contents provided by Ingram. All Rights Reserved.

FREE SHIPPING

Amazon no longer offers textbook rentals. We do!

Model Theory Third Edition

Summary

Author Biography

Table of Contents

Supplemental Materials