scientific article; zbMATH DE number 1490113

MaRDI QIDQ4496342zbMATH OpenFDO

Authors S. Shelah

Publication date 25 February 2001

Full work available at URL https://arxiv.org/abs/math/9910158

zbMATH Keywords

automorphismclassification theoryfinite model theorymain gapminimal modelmonadic logicnon-elementary classespartition theoremsquantifierstwo cardinal theoremsunstable theories

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Quantifier elimination, model completeness, and related topics (03C10) Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Model theory (03Cxx)

Recommendations

• Classification theory and the number of non-isomorphic models.
• Publication:4722028
• Finite and infinite model theory - a historical perspective
• scientific article; zbMATH DE number 4077176
• Classification of first order theories which have a structure theorem

Cited in

(23)

• Keisler's order has infinitely many classes
• Sweet \& sour and other flavours of ccc forcing notions
• Characterizing categoricity in several classes of modules
• The categoricity spectrum of large abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes. I.
• On properties of theories which preclude the existence of universal models
• Independence in finitary abstract elementary classes
• Categoricity in abstract elementary classes with no maximal models
• \(\mu\)-abstract elementary classes and other generalizations
• Building independence relations in abstract elementary classes
• scientific article; zbMATH DE number 4093432 (Why is no real title available?)
• Toward a stability theory of tame abstract elementary classes
• Logical dreams
• Strongly dependent theories
• Model theory of the inaccessibility scheme
• Categoricity and multidimensional diagrams
• A new Kim's lemma
• On the spectrum of limit models
• n-simple theories
• Downward categoricity from a successor inside a good frame
• Club guessing and the universal models
• Categoricity, amalgamation, and tameness
• Generalized amalgamation and \(n\)-simplicity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4496342)