Abstract
An old question is whether there is a countable complete first order theory T such that T has a universal model of cardinality \(\lambda> {\aleph _0} {\underline{iff}}\, \lambda = 2^{< \lambda } > {\aleph _0} \). We solve it here for the class singular cardinals.
Similar content being viewed by others
Notes
Here the case \(\delta ' \ne \delta \) is not really needed, but in some other versions, it is helpful.
References
Džamonja, M., Shelah, Saharon: On properties of theories which preclude the existence of universal models. Ann. Pure Appl. Logic 139(1–3), 280–302 (2006). arXiv: math/0009078
Kojman, M., Shelah, S.: Nonexistence of universal orders in many cardinals. J. Symbolic Logic 57(3), 875–891 (1992). arXiv: math/9209201
Mirna, D.: Club guessing and the universal models. Notre Dame J. Formal Logic 46, 283–300 (2005)
Shelah, S.: Dependent dreams: recounting types, arXiv: 1202.5795
Shelah, S.: Divide and Conquer: Dividing lines on universality. Theoria (to appear, special volume)
Shelah, S.: Universals between strong limit singular and its power, no. 1175
Shelah, S.: Independence results. J. Symbolic Logic 45(3), 563–573 (1980)
Shelah, S.: Classification theory and the number of nonisomorphic models, second ed., Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam, (1990)
Shelah, S.: Advances in cardinal arithmetic, Finite and infinite combinatorics in sets and logic (Banff, AB, 1991), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 411, Kluwer Acad. Publ., Dordrecht, (1993) arXiv: 0708.1979, pp. 355–383
Shelah, S.: Cardinal Arithmetic, Oxford Logic Guides, vol. 29. The Clarendon Press, Oxford University Press, New York (1994)
Shelah, S.: Applications of PCF theory. J. Symbolic Logic 65(4), 1624–1674 (2000). arXiv: math/9804155
Shelah, S.: Universal structures. Notre Dame J. Form. Log. 58(2), 159–177 (2017). arXiv: math/0405159
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author thanks Alice Leonhardt for the beautiful typing. References like [4, Th0.2=Ly5] means the label of Th.0.2 is y5. The reader should note that the version in my website is usually more updated than the one in the mathematical archive. First typed May 10, 2019. Supported by ISF 1838/19 (The Israel Science Foundation) and by ERC (European Research Council) grant 338821. Paper 1162 on author’s list. The author states that there is no conflict of interest.