Classification theory for non-elementary classes. I: The number of uncountable models of L_ _ 1,

DOI10.1007/BF02761954zbMATH Open0552.03019OpenAlexW1965265111MaRDI QIDQ800911FDOQ800911

Authors: S. 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

Recommendations

• scientific article; zbMATH DE number 4041886
• The classification of excellent classes
• scientific article; zbMATH DE number 2236696
• UNIVERSAL CLASSES NEAR ${\aleph _1}$
• Classification theory and the number of non-isomorphic models.

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)

Cites Work

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

Cited In (71)

• Categoricity and multidimensional diagrams
• Main gap for locally saturated elementary submodels of a homogeneous structure
• Zilber's notion of logically perfect structure: universal covers
• When does \(\aleph_1\)-categoricity imply \(\omega\)-stability?
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
• Notes on Quasiminimality and Excellence
• Completeness and categoricity (in power): formalization without foundationalism
• 2002 Annual Meeting of the Association for Symbolic Logic
• Quasiminimality of complex powers
• Generalized amalgamation and \(n\)-simplicity
• The number of atomic models of uncountable theories
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
• Title not available (Why is that?)
• \(\mu\)-abstract elementary classes and other generalizations
• The spectrum problem. III: Universal theories
• The amalgamation spectrum
• Canonical bases in excellent classes
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Shelah's categoricity conjecture from a successor for tame abstract elementary classes
• Formalization, primitive concepts, and purity
• Ranks and pregeometries in finite diagrams
• INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES
• More on weak diamond
• Forking independence from the categorical point of view
• Homology groups of types in stable theories and the Hurewicz correspondence
• The classification of excellent 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}\)
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• Categoricity of an abstract elementary class in two successive cardinals
• The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)
• Categoricity, amalgamation, and tameness
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• Categoricity for abstract classes with amalgamation
• On universal locally finite groups
• ON CATEGORICITY IN SUCCESSIVE CARDINALS
• Pseudo-exponential maps, variants, and quasiminimality
• Induced and higher-dimensional stable independence
• Covers of abelian varieties as analytic Zariski structures
• Toward categoricity for classes with no maximal models
• Shelah's eventual categoricity conjecture in universal classes. II
• Beginning of stability theory for Polish spaces
• Simple-like independence relations in abstract elementary classes
• Abstract elementary classes stable in \(\aleph_{0}\)
• Polish algebras, shy from freedom.
• HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
• Uncountable categoricity of local abstract elementary classes with amalgamation
• Good frames in the Hart-Shelah example
• Algebraic description of limit models in classes of abelian groups
• Toward classifying unstable theories
• The Hart-Shelah example, in stronger logics
• The categoricity spectrum of large abstract elementary classes
• Simplicity and uncountable categoricity in excellent classes
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• Independence in finitary abstract elementary classes
• Title not available (Why is that?)
• v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
• Categoricity in abstract elementary classes with no maximal models
• Independence in model theory
• \(L_{\infty \omega}\)-free algebras
• Characterizing categoricity in several classes of modules
• Categoricity transfer in simple finitary abstract elementary classes
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Shelah's eventual categoricity conjecture in universal classes. I.
• A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\)
• Title not available (Why is that?)
• The number of subdirectly irreducible algebras in a variety. II
• UNIVERSAL CLASSES NEAR ${\aleph _1}$
• Constructing many atomic models in \(\aleph_1\)
• The stability spectrum for classes of atomic models
• The cardinality of subdirectly indecomposable systems in quasivarieties

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)