A proof of Vaught's conjecture for \(\omega\)-stable theories

DOI10.1007/BF02760651zbMath0584.03021WikidataQ56551495 ScholiaQ56551495MaRDI QIDQ1070222

Saharon Shelah, Leo Harrington, Michael Makkai

Publication date: 1984

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

zbMATH Keywords

countable modelscountable theoryomega-stable theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of denumerable and separable structures (03C15)

Related Items

Martin's conjecture for \(\omega\)-stable theories, On Vaught’s Conjecture and finitely valued MV algebras, La limite des theories de courbes generiques, Trivial pursuit: remarks on the main gap, Why some people are excited by Vaught's conjecture, DECIDABLE MODELS OF ω-STABLE THEORIES, Non-isolated types in stable theories, Applications of Fodor's lemma to Vaught's conjecture, A note on nonmultidimensional superstable theories, Simple groups and the number of countable models, Vaught's conjecture for monomorphic theories, Vaught's conjecture without equality, An undecidable extension of Morley's theorem on the number of countable models, An essay on model theory, On atomic or saturated sets, Countable models of small stable theories, Countable models of 1-based theories, Classification and interpretation, Polish group actions: Dichotomies and generalized elementary embeddings, Superstable theories with few countable models, TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS, Vaught's conjecture on unitary relations, Flat Morley sequences, Countable models of superstable theories, SEPARABLE MODELS OF RANDOMIZATIONS, Vaught's conjecture for modules over a serial ring, Stationarily ordered types and the number of countable models, Vaught's conjecture for some meager groups, A.D. Taimanov and model theory in Kazakhstan, \({\mathcal M}\)-gap conjecture and \(m\)-normal theories, Vaught's Conjecture and Group Rings, Borel completeness of some ℵ₀-stable theories, The number of uncountable models of \(\omega\)-stable theories, Classification from a Computable Viewpoint, Scott analysis of pseudotypes, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, Vaught’s conjecture on analytic sets

Cites Work

• Unnamed Item
• Unnamed Item
• A survey of basic stability theory, with particular emphasis on orthogonality and regular types
• An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
• Countable models of multidimensional ℵ₀-stable theories
• Les Modeles Denombrables D'Une Theorie Ayant des Fonctions de Skolem
• Countable models of nonmultidimensional ℵ₀-stable theories
• The number of countable models