The uncountable spectra of countable theories

DOI10.2307/2661382zbMATH Open0963.03056arXivmath/0007199OpenAlexW2049067258MaRDI QIDQ1589986FDOQ1589986

M. C. Laskowski, Ehud Hrushovski, Bradd Hart

Publication date: 25 February 2001

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Abstract: Let T be a complete, first-order theory in a finite or countable language having infinite models. Let I(T,kappa) be the number of isomorphism types of models of T of cardinality kappa. We denote by mu (respectively hatmu) the number of cardinals (respectively infinite cardinals) less than or equal to kappa. We prove that I(T,kappa), as a function of kappa > aleph_0, is the minimum of 2^{kappa} and one of the following functions: 1. 2^{kappa}; 2. the constant function 1; 3. |hatmu^n/{sim_G}|-|(hatmu - 1)^n/{sim_G}| if hatmu<omega for some 1<n<omega and hatmu if hatmu >= omega some group G <= Sym(n); 4. the constant function �eth_2; 5. �eth_{d+1}(mu) for some infinite, countable ordinal d; 6. sum_{i=1}^d Gamma(i) where d is an integer greater than 0 (the depth of T) and Gamma(i) is either �eth_{d-i-1}(mu^{hatmu}) or �eth_{d-i}(mu^{sigma(i)} + alpha(i)), where sigma(i) is either 1, aleph_0 or �eth_1, and alpha(i) is 0 or �eth_2; the first possibility for Gamma(i) can occur only when d-i > 0.

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

Recommendations

• An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
• scientific article; zbMATH DE number 1064600
• The spectrum problem. III: Universal theories
• The spectrum problem. II: Totally transcendental and infinite depth
• scientific article; zbMATH DE number 3916234

zbMATH Keywords

Borel setsspectrum functionfinite depthtotally transcendental theoryclassifiable theoriesdiffuse families of leavesdiverse family of leavesnon-isomorphic modelstrivial failureuncountable spectra of countable first-order theories

Mathematics Subject Classification ID

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

Cited In (21)

• The number of the models of complete Horn theories of finite depth
• The spectrum problem. III: Universal theories
• Trivial pursuit: remarks on the main gap
• Model theory without choice? Categoricity
• Title not available (Why is that?)
• Maximality of the countable spectrum in small quite o-minimal theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Shelah's stability spectrum and homogeneity spectrum in finite diagrams
• Ranks, spectra and their dynamics for families of constant expansions of theories
• Title not available (Why is that?)
• IN MEMORIAM: MICHAEL MORLEY, 1930–2020
• Completeness and categoricity (in power): formalization without foundationalism
• Generalized descriptive set theory and classification theory
• Title not available (Why is that?)
• Theories with few non-algebraic types over models, and their decompositions
• The spectrum problem. II: Totally transcendental and infinite depth
• A.D. Taimanov and model theory in Kazakhstan
• An exposition of Shelah's 'main gap': counting uncountable models of \(\omega\)-stable and superstable theories
• Descriptive set theory and uncountable model theory
• Complexity of Ehrenfeucht models

This page was built for publication: The uncountable spectra of countable theories

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