Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)

DOI10.1007/BF02761954zbMath0552.03019OpenAlexW1965265111MaRDI QIDQ800911

Saharon Shelah

Publication date: 1983

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02761954

zbMATH Keywords

infinitary languagesnumber of modelsclassification of atomic modelscountable theoriesnon-elementary classestotally transcendental theoriesuncountable model

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Logic on admissible sets (03C70)

Related Items

Shelah's eventual categoricity conjecture in universal classes. I., Homology groups of types in stable theories and the Hurewicz correspondence, \(\mu\)-abstract elementary classes and other generalizations, The cardinality of subdirectly indecomposable systems in quasivarieties, CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES, Simplicity and uncountable categoricity in excellent classes, Categoricity, amalgamation, and tameness, Categoricity transfer in simple finitary abstract elementary classes, Induced and higher-dimensional stable independence, The spectrum problem. III: Universal theories, Beginning of stability theory for Polish spaces, Abstract elementary classes stable in \(\aleph_{0}\), THE STABILITY SPECTRUM FOR CLASSES OF ATOMIC MODELS, Pseudo-exponential maps, variants, and quasiminimality, COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM, Good frames in the Hart-Shelah example, On universal locally finite groups, ON CATEGORICITY IN SUCCESSIVE CARDINALS, The Hart-Shelah example, in stronger logics, Toward classifying unstable theories, Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes, Uncountable categoricity of local abstract elementary classes with amalgamation, Independence in finitary abstract elementary classes, The number of subdirectly irreducible algebras in a variety. II, CONSTRUCTING MANY ATOMIC MODELS IN ℵ₁, Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal, Covers of abelian varieties as analytic Zariski structures, \(L_{\infty \omega}\)-free algebras, INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES, Canonical bases in excellent classes, Forking independence from the categorical point of view, HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM, THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES, More on weak diamond, UNIVERSAL CLASSES NEAR ${\aleph _1}$, Generalized amalgamation and \(n\)-simplicity, Upward categoricity from a successor cardinal for tame abstract classes with amalgamation, Shelah's eventual categoricity conjecture in universal classes. II, FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY, Main gap for locally saturated elementary submodels of a homogeneous structure, Polish algebras, shy from freedom., A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\), DISJOINT AMALGAMATION IN LOCALLY FINITE AEC, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Notes on Quasiminimality and Excellence, Categoricity in abstract elementary classes with no maximal models, Categoricity of an abstract elementary class in two successive cardinals, Simple-like independence relations in abstract elementary classes, 2002 Annual Meeting of the Association for Symbolic Logic, Independence in Model Theory, Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\), Shelah's categoricity conjecture from a successor for tame abstract elementary classes, The amalgamation spectrum, GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES, v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC, The categoricity spectrum of large abstract elementary classes, Algebraic description of limit models in classes of abelian groups, Categoricity for abstract classes with amalgamation, Toward categoricity for classes with no maximal models, Ranks and pregeometries in finite diagrams, Characterizing categoricity in several classes of modules, A survey of basic stability theory, with particular emphasis on orthogonality and regular types

Cites Work

• Unnamed Item
• On universal locally finite groups
• Isomorphism types of Aronszajn trees
• Proper forcing
• A minimal prime model with an infinite set of indiscernibles
• Aspects of constructibility
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• Classification theory and the number of non-isomorphic models
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• The number of non-isomorphic models of an unstable first-order theory
• Models with second order properties. III. Omitting types forL(Q)
• One hundred and two problems in mathematical logic
• Generalized Quantifiers and Compact Logic
• Higher Souslin trees and the generalized continuum hypothesis