A strong failure of aleph_0-stability for atomic classes
Abstract
We study classes of atomic models At_T of a countable, complete first-order theory T . We prove that if At_T is not pcl-small, i.e., there is an atomic model N that realizes uncountably many types over pcl(a) for some finite tuple a from N, then there are 2^aleph1 non-isomorphic atomic models of T, each of size aleph1.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2017
- DOI:
- 10.48550/arXiv.1701.05474
- arXiv:
- arXiv:1701.05474
- Bibcode:
- 2017arXiv170105474L
- Keywords:
-
- Mathematics - Logic;
- 03C45;
- 03C75