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)
forkingprime modelscategoricitysaturated modelsultraproductsstability theoryclassification theoryMain Gaprank of types
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Ultraproducts and related constructions (03C20) Categoricity and completeness of theories (03C35) Model theory (03Cxx)
Related Items (only showing first 100 items - show all)
Classes of structures and their generic limits ⋮ Canonical forking in AECs ⋮ Reduction of database independence to dividing in atomless Boolean algebras ⋮ Infinitary stability theory ⋮ Sweet \& sour and other flavours of ccc forcing notions ⋮ Superstable quasi-varieties ⋮ Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory ⋮ A partition theorem for a large dense linear order ⋮ Internality and interpretable automorphism groups in simple theories ⋮ Forking and JSJ decompositions in the free group ⋮ Building independence relations in abstract elementary classes ⋮ Beginning of stability theory for Polish spaces ⋮ Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\) ⋮ Keisler's order has infinitely many classes ⋮ An unclassifiable unidimensional theory without OTOP ⋮ The spectrum of ultraproducts of finite cardinals for an ultrafilter ⋮ Simple theories ⋮ On variants of \(o\)-minimality ⋮ Vapnik-Chervonenkis density in some theories without the independence property. II ⋮ Hyperbolic towers and independent generic sets in the theory of free groups. ⋮ Theories without the tree property of the second kind ⋮ Beyond abstract elementary classes: on the model theory of geometric lattices ⋮ Towards a characterization of universal categories ⋮ Invariant measures via inverse limits of finite structures ⋮ Lovely pairs of models ⋮ An essay on model theory ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Edge distribution and density in the characteristic sequence ⋮ Structure and enumeration theorems for hereditary properties in finite relational languages ⋮ Stable domination and weight ⋮ On theories of random variables ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ Model companions of \(T_{\Aut}\) for stable \(T\) ⋮ An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN ⋮ Classification theory through stationary logic ⋮ Isomorphic universality and the number of pairwise nonisomorphic models in the class of Banach spaces ⋮ On \(\vartriangleleft^{*}\)-maximality. ⋮ A dependent theory with few indiscernibles ⋮ Strongly dependent theories ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ Forking independence from the categorical point of view ⋮ A new look at interpretability and saturation ⋮ Categorical Horn theories and modules ⋮ Dependent \(T\) and existence of limit models ⋮ On positive local combinatorial dividing-lines in model theory ⋮ Locally finite weakly minimal theories ⋮ Multi-dimensionality ⋮ Strong splitting in stable homogeneous models ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ The dynamical hierarchy for Roelcke precompact Polish groups ⋮ On non-forking spectra ⋮ More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\) ⋮ Vive la différence. III ⋮ The universality spectrum of stable unsuperstable theories ⋮ Generalized amalgamation and \(n\)-simplicity ⋮ Vaught's conjecture for superstable theories of finite rank ⋮ On some dynamical aspects of NIP theories ⋮ Shelah's eventual categoricity conjecture in universal classes. II ⋮ Superstability from categoricity in abstract elementary classes ⋮ Neostability in countable homogeneous metric spaces ⋮ A generalized Borel-reducibility counterpart of Shelah's main gap theorem ⋮ Chains of saturated models in AECs ⋮ Forking in short and tame abstract elementary classes ⋮ Model theoretic connected components of groups ⋮ Polish algebras, shy from freedom. ⋮ Model theoretic stability and categoricity for complete metric spaces ⋮ Game sentences and ultrapowers ⋮ Compression schemes, stable definable families, and o-minimal structures ⋮ Hypergraphs of prime models and distributions of countable models of small theories ⋮ Definable types over Banach spaces ⋮ On the existence of indiscernible trees ⋮ Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing ⋮ Asymptotic cones of finitely presented groups ⋮ Existentially closed exponential fields ⋮ The primitive normality of a class of weakly injective \(S\)-acts ⋮ Independence and simplicity in Jonsson theories with abstract geometry ⋮ Downward categoricity from a successor inside a good frame ⋮ Binary simple homogeneous structures ⋮ Criteria for exact saturation and singular compactness ⋮ Realization of \(\varphi \)-types and Keisler's order ⋮ A collapse result for constraint queries over structures of small degree ⋮ A note on trivial nonmultidimensional superstable theories ⋮ Vaught's conjecture for some meager groups ⋮ Relative categoricity in abelian groups. II ⋮ Categoricity in homogeneous complete metric spaces ⋮ \({\mathcal M}\)-gap conjecture and \(m\)-normal theories ⋮ The Craig interpolation theorem in abstract model theory ⋮ The relative commutant of separable C\(^*\)-algebras of real rank zero ⋮ Linear orders in NIP structures ⋮ The isomorphism relation of theories with S-DOP in the generalised Baire spaces ⋮ Stability in a group ⋮ A counter-example to the probabilistic universal graph conjecture via randomized communication complexity ⋮ Dividing lines in unstable theories and subclasses of Baire 1 functions ⋮ Extended order-generic queries ⋮ Strongly determined types ⋮ Ranks and pregeometries in finite diagrams ⋮ Hanf number of the first stability cardinal in AECs ⋮ Karp complexity and classes with the independence property ⋮ Vive la différence. II: The Ax-Kochen isomorphism theorem ⋮ Club guessing and the universal models
This page was built for publication: Classification theory and the number of non-isomorphic models.
