An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories

DOI10.1305/ndjfl/1093870822zbMath0589.03015OpenAlexW1994734519MaRDI QIDQ1073784

Leo Harrington, Michael Makkai

Publication date: 1985

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870822

zbMATH Keywords

forkingtotally transcendental theoriesspectrum functions

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Related Items

Trivial pursuit: remarks on the main gap, S-homogeneity and automorphism groups, Dimensional order property and pairs of models, On the existence of regular types, Classification theory through stationary logic, Countable models of small stable theories, Constructing strongly equivalent nonisomorphic models for unstable theories, Countable models of 1-based theories, Classification and interpretation, Countable models of superstable theories, Classifiable theories without finitary invariants, The isomorphism relation of theories with S-DOP in the generalised Baire spaces, The number of uncountable models of \(\omega\)-stable theories, \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures, A survey of basic stability theory, with particular emphasis on orthogonality and regular types, A proof of Vaught's conjecture for \(\omega\)-stable theories, Invariants for \(\omega\)-categorical, \(\omega\)-stable theories