Real classes in the ultrapower of hereditarily finite sets Antonín Sochor (1975) Commentationes Mathematicae Universitatis Carolinae