×

zbMATH — the first resource for mathematics

An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST). (English) Zbl 0445.03042
MSC:
03H05 Nonstandard models in mathematics
03H15 Nonstandard models of arithmetic
03E70 Nonclassical and second-order set theories
PDF BibTeX XML Cite
Full Text: EuDML