Classification theory and the number of non-isomorphic models
From MaRDI portal
Publication:1250098
zbMath0388.03009MaRDI QIDQ1250098
Publication date: 1978
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
DB lookup for MSC labels failed
Related Items
The space of strong types and an open map theorem, Unnamed Item, Finite-model theory -- A personal perspective, On the automorphism groups of finite covers, An omitting types theorem for saturated structures, On locally modular, weakly minimal theories, Countable models of small stable theories, Similarities and proximity of complete theories, Constructing strongly equivalent nonisomorphic models for unstable theories, The primal framework. II: Smoothness, Locally finite weakly minimal theories, Multi-dimensionality, Stability and omitting types, On homogeneous models of totally transcendental nonmultidimensional theories, Toward a description of monoids over which all polygons have \(\omega\)- stable theories, Type reduction and powerful types, The age of a relational structure, Structural problems for model companions of varieties of polygons, The number of types in simple theories, Categoricity for abstract classes with amalgamation, Toward categoricity for classes with no maximal models, Vive la différence. II: The Ax-Kochen isomorphism theorem, The model theory of unitriangular groups, Universal theories categorical in power and \(\kappa\)-generated models, Meager forking, A model and its subset: The uncountable case, Lascar rank and the finite cover property for complete theories of unars, On the structure of stable groups, Chains of pseudocompact group topologies, Cardinal invariants and independence results in the poset of precompact group topologies, Totally transcendental theories of modules: Decomposition of models and types, The primal framework. I, Remarks on structure theorems for \(\omega_ 1\)-saturated models, Back-and-forth for systems of antichains, Homogeneous models for unidimensional theories, Toward classifying unstable theories, Classification theory through stationary logic
