×

Real classes in the ultrapower of hereditarily finite sets. (English) Zbl 0327.02047

MSC:

03C68 Other classical first-order model theory
03H99 Nonstandard models
11U07 Ultraproducts (number-theoretic aspects)
03E35 Consistency and independence results
PDF BibTeX XML Cite
Full Text: EuDML