Abstract
In these lectures we survey several fundamental methods of constructing models. We examine which logics admit which constructions, and illustrate their use with examples. The lectures begin with methods available only in classical first order logic and proceed to methods available in the infinitary logics \(\mathcal{L}_{\omega _i \omega } \) and L ∝ ω. We shall focus on three recent developments which have become more prominent in model theory since the publication of the book Chang and Keisler 7 . They are recursively saturated models (Lectures 2 and 3), model theoretic forcing (Lectures 5 and 6), and soft model theory (Lectures 4 and 8).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
K.J.Barwise. Absolute logics and L∞ω . AML 4 (1972) PP. 309–340.
K.J.Barwise. Back and forth through infinitary logic. pp. 5–34 in Morley 24.
K.J.Barwise. Axioms for abstract model theory. AML 7(1974, 221–265.
K.J.Barwise and H.K.Kunen.Hanf numbers for fragments of L∞ω.Israel J.Math. 10(1971),PP.306–320.
K.J.Barwise and J.Schlipf. Recursively saturated and resplendent models. To appear.
K.Bruce. Model-theoretic forcing and L( ). Thesis, U. of Wisconsin, 1975.
C.C.Chang and H.J.Keisler. Model Theory. North-Holland 1973.
A. Ehrenfeucht and.A. Mostowski. Models of axiomatic theories admitting automorphisms. Fund Math. 43(1956) pp.50–68.
W.Hanf. Incompactness in languages with infinitely long expressions. Fund.Math. 53(1964), pp.309–324.
J. Hirschfzeld and W.H.Wheeler. Forcing, arithmetic and division rings to apper.
C.Karp. Finite quantifier equivalence. PP. 407–412 in The Theory of Models, ed. by Addison, Henkin, and Tarski, North-Holland 1965.
C. Karp, Languages with expressions of infinite length. North-Holland 1964.
H.J.Keisler. Model theory for infinitary logic. North-Holland 1971.
H.J.Keisler. Forcing and the omitting types theroem. Pp. 96–133 in Morley 24.
H.J.Keisler.Logic with the quantifier “there exist uncountably many”.AML 1(1970), pp.1–93.
M.Makkai. Preservation theorems for logic with denumerable conjunctions and disjunctions. JSL 34(1969), pp.437–459.
P.Lindstrom. On extensions of elementary logic. Theoria 35(1969), PP. 1–11.
E.Lopez-Escobar. An interpolation theorem for denumerably long sentences. Fund. Math. 58 (1965), 253–277.
E.Lopez-Escobar. On definable well orderings. Fund. Math. 58 (1966), pp. 13–21.
R.Lyndon. Properties preserved under homomorphism. Pacific J. Math. 9 (1959), pp. 143–154
J.A.Makowskij, S. Shelah, and J. Stavi. Δ-logics and generalized quantifiers. To appear.
M.Morley.Categoricity in power. TAMS 114(1965),PP.514–538.
M.Morley. Omitting classes of elements. Pp. 265–273 in The Theory of Models, ed. by Addison, Henkin and Tarski, North-Holland 1965.
M. Morley. Studies in model theory. Math. Assn. of Amer. 1973.
M. Presburger. Warsaw 1930.
A.Robinson. A result on consistency and its application to the theory of definition. Indag.Math. 18(1956), pp.47–58.
A. Robinson. Introduction to model theory and to the metamathematics of algebra. North-Holland 1963.
A.Robinson. Forcing in model theory. Symp. Math. 5 (1971), pp. 69–82.
S.Shelah. Stability, the finite cover property, and superstability. AML 3 (1971), PP. 271–362.
J.Schlipf. Some hyperelementary aspects of model theory. Thesis, U. of Wisconsin,1975.
A.Tarski.and J.C.C.McKinsey. A decision method for elementary algebra and geometry. Rand Corp. 1948.
A.Tarski and R. Vaught. Arithmetical extensions of relational systems. Comp. Math. 13 (1957), pp. 81–102.
M. Morley and R. Vaught. Homogeneous universal models. Math. Scand. 11 (1962), pp. 37–57.
G.Fuhrken. Skolem-type normal forms for a first-order language with a generalized quantifier. Fund. Math. 54(1964), pp.291–302.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Keisler, H.J. (2010). Constructions in Model Theory. In: Mangani, P. (eds) Model Theory and Applications. C.I.M.E. Summer Schools, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11121-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-11121-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11119-8
Online ISBN: 978-3-642-11121-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)