Abstract
A theory T is said to have exact saturation at a singular cardinal ? if it has a ?-saturated model which is not ?+-saturated. We show, under some set-Theoretic assumptions, that any simple theory has exact saturation. Also, an NIP theory has exact saturation if and only if it is not distal. This gives a new characterization of distality.
Original language | English |
---|---|
Article number | 1750001 |
Journal | Journal of Mathematical Logic |
Volume | 17 |
Issue number | 1 |
DOIs | |
State | Published - 1 Jun 2017 |
Bibliographical note
Publisher Copyright:© 2017 World Scientific Publishing Company.
Keywords
- NIP theories
- Saturated models
- classification theory
- distal theories
- simple theories