Terminal notions in set theory (Q5940147)

A `terminal notion' is a (definable) class of objects that cannot be divided further into definable subclasses. The author argues that four such classes are: Ramsey ultrafilters, free Souslin trees (every product of finitely many disjoint intervals in the corresponding line is ccc), extendible strong Lusin sets, and good diamond sequences. The (compelling) evidence consists of three circumstances -- large cardinals, large cardinals plus CH, and the homogeneous model -- in which sequences of pairwise nonequivalent objects cannot be distinguished by projective, \(\Sigma^2_1\), or any formula respectively.