Classification theory for non-elementary classes. I: The number of uncountable models of L_ _ 1,
The paper is related to the following problem due to Baldwin: Can a sentence of the language L(Q) have exactly one uncountable model? The author continues his investigation from one of his previous papers [Isr. J. Math. 20, 127-148 (1975; Zbl 0324.02038)] in the context of \(L_{\omega_ 1,\omega}\). Assuming that \(2^{\aleph_ n}<2^{\aleph_{n+1}}\) holds for every \(n<\omega\), the main theorem states that every sentence in \(L_{\omega_ 1,\omega}\) has many non- isomorphic models of size \(\aleph_ n\) for some \(n<\omega\) or has models in all infinite cardinalities. It follows from the theorem that every sentence in \(L_{\omega_ 1,\omega}\) has at least \(2^{\aleph_ 1}\) non-isomorphic uncountable models. The central idea of the paper is to transfer properties of models of cardinality \(\aleph_ n\) to countable models and then back from countable models to models of higher cardinalities. To this end, the author introduces the concepts of n-dimensional diagrams, good sets and generalized amalgamation which culminate in the concept of excellent classes - the cutting edge for classification of atomic models of some countable theories. Excellent classes are parallel to totally transcendental theories, they have models in all infinite cardinalities, satisfy the amalgamation property and Łos conjecture. A non-structure theorem is proved for non-excellent classes stating that they have many non-isomorphic models in some \(\aleph_ m\) if they have an uncountable model and if \(2^{\aleph_ n}<2^{\aleph_{n+1}}\) holds for an appropriate n.
- A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
- A minimal prime model with an infinite set of indiscernibles
- A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
- Aspects of constructibility
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
- Classification theory and the number of non-isomorphic models
- Generalized Quantifiers and Compact Logic
- Higher Souslin trees and the generalized continuum hypothesis
- scientific article; zbMATH DE number 4041886 (Why is no real title available?)
- Isomorphism types of Aronszajn trees
- Models with second order properties. III. Omitting types forL(Q)
- On universal locally finite groups
- One hundred and two problems in mathematical logic
- Proper forcing
- The number of non-isomorphic models of an unstable first-order theory
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- The cardinality of subdirectly indecomposable systems in quasivarieties
- The spectrum problem. III: Universal theories
- The number of subdirectly irreducible algebras in a variety. II
- Categoricity for abstract classes with amalgamation
- Toward categoricity for classes with no maximal models
- Ranks and pregeometries in finite diagrams
- Pseudo-exponential maps, variants, and quasiminimality
- Good frames in the Hart-Shelah example
- Forking independence from the categorical point of view
- Toward classifying unstable theories
- The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)
- Simple-like independence relations in abstract elementary classes
- Characterizing categoricity in several classes of modules
- Induced and higher-dimensional stable independence
- More on weak diamond
- The categoricity spectrum of large abstract elementary classes
- Algebraic description of limit models in classes of abelian groups
- Shelah's eventual categoricity conjecture in universal classes. I.
- Homology groups of types in stable theories and the Hurewicz correspondence
- Simplicity and uncountable categoricity in excellent classes
- Uncountable categoricity of local abstract elementary classes with amalgamation
- Independence in finitary abstract elementary classes
- A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\)
- Categoricity in abstract elementary classes with no maximal models
- Abstract elementary classes stable in \(\aleph_{0}\)
- The Hart-Shelah example, in stronger logics
- \(\mu\)-abstract elementary classes and other generalizations
- Main gap for locally saturated elementary submodels of a homogeneous structure
- The stability spectrum for classes of atomic models
- Completeness and categoricity (in power): formalization without foundationalism
- Constructing many atomic models in _1
- v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
- Beginning of stability theory for Polish spaces
- Categoricity transfer in simple finitary abstract elementary classes
- The amalgamation spectrum
- CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
- The classification of excellent classes
- scientific article; zbMATH DE number 4041886 (Why is no real title available?)
- 2002 Annual Meeting of the Association for Symbolic Logic
- Covers of abelian varieties as analytic Zariski structures
- HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
- The number of atomic models of uncountable theories
- UNIVERSAL CLASSES NEAR ${\aleph _1}$
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
- Notes on Quasiminimality and Excellence
- scientific article; zbMATH DE number 218626 (Why is no real title available?)
- Formalization, primitive concepts, and purity
- ON CATEGORICITY IN SUCCESSIVE CARDINALS
- Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
- Independence in model theory
- Shelah's eventual categoricity conjecture in universal classes. II
- Polish algebras, shy from freedom.
- Canonical bases in excellent classes
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
- INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
- scientific article; zbMATH DE number 2236696 (Why is no real title available?)
- Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
- DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
- On universal locally finite groups
- Categoricity of an abstract elementary class in two successive cardinals
- Categoricity and multidimensional diagrams
- Zilber's notion of logically perfect structure: universal covers
- When does _1-categoricity imply -stability?
- Quasiminimality of complex powers
- Grothendieck and model theory: five characters in search of a theme
- On the spectrum of limit models
- Categoricity and amalgamation for AEC, and measurable
- Building models in small cardinals in local abstract elementary classes
- 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}\)
- Categoricity, amalgamation, and tameness
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- \(L_{\infty \omega}\)-free algebras
- Generalized amalgamation and \(n\)-simplicity
This page was built for publication: Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800911)
