Notes on Quasiminimality and Excellence

DOI10.2178/BSL/1102022661zbMATH Open1064.03023OpenAlexW2042741283MaRDI QIDQ4678944FDOQ4678944

Authors: John T. Baldwin 

Publication date: 24 May 2005

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1102022661

Recommendations

• scientific article; zbMATH DE number 2236700
• On quasiminimal excellent classes
• Quasiminimal structures and excellence
• Categoricity in quasiminimal pregeometry classes
• Categoricity

zbMATH Keywords

surveyalgebraic geometrymodel theorycategoricityexcellencecomplex exponentiationabstracte elementary classstructure theory of uncountable models

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80) Categoricity and completeness of theories (03C35)

Cites Work

• Stable generic structures
• A new strongly minimal set
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• A minimal prime model with an infinite set of indiscernibles
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Toward categoricity for classes with no maximal models
• Shelah's stability spectrum and homogeneity spectrum in finite diagrams
• Finite diagrams stable in power
• On strongly minimal sets
• Categoricity of an abstract elementary class in two successive cardinals
• 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}\)
• Homogeneous Universal Relational Systems.
• On generic structures
• Simple homogeneous models
• Universal relational systems
• Strong splitting in stable homogeneous models
• Homogeneous Universal Models.
• Weight ω in stable theories with few types
• Canonical Finite Diagrams and Quantifier Elimination
• Model completeness of the new strongly minimal sets
• Constructing ω-stable structures: rank 2 fields
• Randomness and semigenericity
• Classification of δ-invariant amalgamation classes
• Syntactic characterisations of amalgamation, convexity and related properties
• Logic with the quantifier “there exist uncountably many”
• Constructing \(\omega\)-stable structures: Model completeness.
• The classification of excellent classes
• L'égalité au cube
• Le carre de l'egalite
• Title not available (Why is that?)
• The theory of Liouville functions
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Quasiminimal structures and excellence
• The complex numbers and complex exponentiation. Why infinitary logic is necessary!
• Completeness and categoricity (in power): formalization without foundationalism
• Title not available (Why is that?)
• v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
• On quasiminimal excellent classes

This page was built for publication: Notes on Quasiminimality and Excellence

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