2015/10/09 by Itay Kaplan, Saharon Shelah, Kaplan, Itay +3
Mathematics · #03C45 #03C55 #03C95 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03C45 #msc:03C55 #msc:03C95
paper · pdf · doi:10.48550/arxiv.1510.02741
published as J. Math. Log. 17 No. 1 (2017) 1750001, 18
arxiv created 2015/10/09 · arxiv updated 2015/10/12
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.