John T. Baldwin, Michael C. Laskowski and Saharon
Shelah
Vol. 3 (2024), No. 3, 801–823
DOI: 10.2140/mt.2024.3.801
Abstract
For an
-categorical
atomic class, we clarify the space of types over the unique model of size
.
Using these results, we prove that if such a class has a model of size
then it is
-stable.