Classification theory and the number of non-isomorphic models. (English) Zbl 0388.03009

Studies in Logic and the Foundations of Mathematics. Vol. 92. Amsterdam - New York - Oxford: North-Holland Publishing Company. XVI, 544 p. $ 62.25; Dfl. 140.00 (1978).


03C35 Categoricity and completeness of theories
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C45 Classification theory, stability, and related concepts in model theory
03C50 Models with special properties (saturated, rigid, etc.)
03B15 Higher-order logic; type theory (MSC2010)
03B30 Foundations of classical theories (including reverse mathematics)
03C15 Model theory of denumerable and separable structures
03C20 Ultraproducts and related constructions
03C55 Set-theoretic model theory
03C30 Other model constructions
03C65 Models of other mathematical theories
03C60 Model-theoretic algebra