A strong failure of aleph₀-stability for atomic classes
classification
🧮 math.LO
keywords
atomicaleph1classesmodelstherealephcompletecountable
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.