Classification theory and the number of non-isomorphic models.
From MaRDI portal
Publication:1188601
zbMath0713.03013MaRDI QIDQ1188601
Publication date: 17 September 1992
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
forking; prime models; categoricity; saturated models; ultraproducts; stability theory; classification theory; Main Gap; rank of types
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C45: Classification theory, stability, and related concepts in model theory
03C20: Ultraproducts and related constructions
03C35: Categoricity and completeness of theories
03Cxx: Model theory
Related Items
The geometry of 1-based minimal types, On interpretability of almost linear orderings, Categoricity of an abstract elementary class in two successive cardinals, Definable types over Banach spaces, Locally finite weakly minimal theories, Multi-dimensionality, The universality spectrum of stable unsuperstable theories, Game sentences and ultrapowers, \({\mathcal M}\)-gap conjecture and \(m\)-normal theories, Extended order-generic queries, Strongly determined types, Vive la différence. II: The Ax-Kochen isomorphism theorem, Superstable quasi-varieties, An unclassifiable unidimensional theory without OTOP, Simple theories, Lovely pairs of models, An essay on model theory, Model companions of \(T_{\Aut}\) for stable \(T\), On \(\vartriangleleft^{*}\)-maximality., Ranks and pregeometries in finite diagrams, Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing, Asymptotic cones of finitely presented groups, A note on trivial nonmultidimensional superstable theories, Vaught's conjecture for some meager groups, Karp complexity and classes with the independence property, Sweet \& sour and other flavours of ccc forcing notions, Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory, Internality and interpretable automorphism groups in simple theories, On variants of \(o\)-minimality, Classification theory through stationary logic, Strong splitting in stable homogeneous models
