Submission date: 26 August 2023

Abstract:

For an ℵ_1-categorical atomic class, we clarify the space of types over the unique model of size ℵ_1. Using these results, we prove that if such a class has a model of size ℶ_1^+ then it is ω-stable.

Mathematics Subject Classification: 03C45

Keywords and phrases:

Full text arXiv 2308.13942: pdf, ps.