Abstract
We study classes of atomic models \(\mathbf{At}_T\) of a countable, complete first-order theory T. We prove that if \(\mathbf{At}_T\) is not \(\mathrm{pcl}\)-small, i.e., there is an atomic model N that realizes uncountably many types over \(\mathrm{pcl}_N(\bar{a})\) for some finite \(\bar{a}\) from N, then there are \(2^{\aleph _1}\) non-isomorphic atomic models of T, each of size \(\aleph _1\).
Similar content being viewed by others
References
Baldwin, J.T.: Categoricity. Number 51 in University Lecture Notes. American Mathematical Society, Providence, USA (2009)
Baldwin, J., Larson, P.: Iterated elementary embeddings and the model theory of infinitary logic. Ann. Pure Appl. Logic 167(3), 309–334 (2016)
Baldwin, J., Laskowski, M.C., Shelah, S.: Constructing many uncountable atomic models in \(\aleph _1\). J. Symb. Log. 81(3), 1142–1162 (2016)
Baldwin, J., Laskowski, M.C.: Henkin constructions of models of size continuum. Bull. Symb. Log. (to appear)
Baldwin, J., Laskowski, M.C., Shelah, S.: An active chain implies many atomic models in \(\aleph _1\) (preprint)
Keisler, H.J.: Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. Studies in Logic and the Foundations of Mathematics, vol. 62. North-Holland Publishing Co., Amsterdam (1971)
Keisler, H.J.: Logic with the quantifier there exist uncountably many. Ann. Math. Log. 1, 1–93 (1970)
Shelah, S.: Classification Theory and the Number of Nonisomorphic Models. North-Holland, Amsterdam (1978)
Shelah, S.: How special are Cohen and random forcings, i.e. Boolean algebras of the family of subsets of reals modulo meagre or null. Isr. J. Math. 88, 159–174 (1994)
Ulrich, D., Rast, R., Laskowski, M.C.: Borel complexity and potential canonical Scott sentences. Fundam. Math. Fundam. Math. 239(2), 101–147 (2017)
Author information
Authors and Affiliations
Corresponding author
Additional information
M. C. Laskowski: Partially supported by NSF Grant DMS-1308546.
S. Shelah: Partially supported by European Research Council Grant 338821 and NSF Grant DMS-1362974. Publication no. 1099.
Rights and permissions
About this article
Cite this article
Laskowski, M.C., Shelah, S. A strong failure of \(\aleph _0\)-stability for atomic classes. Arch. Math. Logic 58, 99–118 (2019). https://doi.org/10.1007/s00153-018-0623-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-018-0623-6