Let be uncountable and saturated, and let a formula define an equivalence relation. If every small elementary submodel of meets every class, then there are only finitely many classes. Otherwise a small elementary submodel yields the finitely satisfiable type , contradicting saturation.
Articles by others on the same topic
There are currently no matching articles.