Abstract
In the paper Randomizations of Scattered Sentences, Keisler showed that if Martin’s axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is “yes”. It follows that the absolute Vaught conjecture holds if and only if every \(L_{\omega _1\omega }\)-sentence with few separable randomizations has countably many countable models.
Similar content being viewed by others
References
Andrews, U., Keisler, H.J.: Separable models of randomizations. J. Symb. Log. 80, 1149–1181 (2015)
Baldwin, J., Friedman, S., Koerwien, M., Laskowski, M.: Three red herrings around Vaught’s conjecture. Trans. Am. Math. Soc. 368, 3673–3694 (2016)
Ben Yaacov, I., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory for metric structures. In: Model Theory with Applications to Algebra and Analysis. London Mathematical Society Lecture Note Series, vols. 2, 350, pp. 315–427 (2008)
Eagle, C., Vignati, A.: Saturation and elementary equivalence of \(C^*\)-algebras. J. Funct. Anal. 269, 2631–2664 (2015)
Jech, T.: Set Theory. Springer, New York (2003)
Keisler, H.J.: Model Theory for Infinitary Logic. North-Holland, Amsterdam (1971)
Keisler, H.J.: Randomizations of scattered sentences. In: Iovino, J. (ed.) Beyond First Order Model Theory, pp. 189–220. CRC Press, Boca Raton (2000)
Morley, M.: The number of countable models. J. Symb. Log. 35, 14–18 (1970)
Scott, D.: Logic with denumerably long formulas and finite strings of quantifiers. In: Addison, J., et al. (eds.) The Theory of Models, pp. 329–341. North-Holland, Amsterdam (1965)
Steel, J.R.: On Vaught’s conjecture. In: Kechris, A.S., Moschovakis, Y.N. (eds.) Cabal Seminar 76–77. Lecture Notes in Mathematics, vol. 68, pp. 193–208. Springer, New York (1978)
Vaught, R.L.: Denumerable models of complete theories. In: Infinitistic Methods, Warsaw, pp. 303–321 (1961)
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 work of Andrews was partially supported by NSF Grant DMS-1600228. The work of Goldbring was partially supported by NSF CAREER Grant DMS-1349399. Hachtman was partially supported by NSF Grant DMS-1246844.
Rights and permissions
About this article
Cite this article
Andrews, U., Goldbring, I., Hachtman, S. et al. Scattered sentences have few separable randomizations. Arch. Math. Logic 59, 743–754 (2020). https://doi.org/10.1007/s00153-020-00718-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-020-00718-7