A strong failure of aleph0-stability for atomic classes
Abstract
We study classes of atomic models AtT of a countable, complete first-order theory T . We prove that if AtT 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 2aleph1 non-isomorphic atomic models of T, each of size aleph1.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.