Compactness obstruction to an exclusive disjunction of infinitude

ID: compactness-obstruction-to-an-exclusive-disjunction-of-infinitude

Suppose a class requires exactly one of two definable sets to be infinite. Add constants witnessing arbitrarily many distinct members of both sets. Every finite fragment can keep one set infinite and make the other large but finite, whereas compactness makes both sets infinite. Therefore such an exclusive disjunction is not first-order axiomatizable.

New to topics? Read the docs here!