A method of constructing the field of real numbers in AST

DOI10.1070/RM1992V047N05ABEH000951MaRDI QIDQ3138150zbMATH OpenOpenAlexFDO

Authors S. V. Dronov, S. D. Kozlov

Publication date 25 January 1994

Published in Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/rm1992v047n05abeh000951

zbMATH Keywords

hyperreal numbersreal numbersalternative set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 4012709
• A new construction of the real numbers by alternating series
• scientific article; zbMATH DE number 3841857
• An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
• Which numbers are real?

Cited in

(3)

• On the structure of an isotonic groupoid on the class of natural numbers in AST
• Long reals
• An integer construction of infinitesimals: toward a theory of eudoxus hyperreals

This page was built for publication: A method of constructing the field of real numbers in AST

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138150)