×

zbMATH — the first resource for mathematics

An elimination of the predicate ”to be a standard member” in nonstandard models of arithmetic. (English) Zbl 0522.03059
MSC:
03H15 Nonstandard models of arithmetic
03E70 Nonclassical and second-order set theories
PDF BibTeX XML Cite
Full Text: EuDML