×

zbMATH — the first resource for mathematics

The nonabsolute boundedness model of the theory of semisets. (English) Zbl 0367.02033
MSC:
03E70 Nonclassical and second-order set theories
03E35 Consistency and independence results
11U10 Nonstandard arithmetic (number-theoretic aspects)
26E35 Nonstandard analysis
PDF BibTeX XML Cite
Full Text: EuDML