Real classes in the ultrapower of hereditarily finite sets
Remarks on the zero-one law
Revealed automorphisms
We study automorphisms in the alternative set theory. We prove that fully revealed automorphisms are not closed under composition. We also construct some special automorphisms. We generalize the notion of revealment and Sd-class.
Revealments
Rückert Nullstellensatz for normed, non-discrete fields using non-standard analysis.