When does ℵ1-categoricity implyω-stability ?
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.
Authors
- Saharon Shelah (ORCID: https://orcid.org/0000-0003-0462-3152)
- John T. Baldwin (ORCID: https://orcid.org/0000-0002-0185-5196)
- M. Laskowski (ORCID: https://orcid.org/0000-0002-2516-6360)
Institutions
- Hebrew University of Jerusalem (IL)
- University of Illinois Chicago (US)
- University of Maryland, College Park (US)
Publication Details
- Journal
- Model Theory
- Published
- 2024-08-12
- DOI
- https://doi.org/10.2140/mt.2024.3.801
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00