A method of constructing the field of real numbers in AST

DOI10.1070/RM1992V047N05ABEH000951zbMATH Open0791.03029OpenAlexW2019667230MaRDI QIDQ3138150FDOQ3138150

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

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?

zbMATH Keywords

hyperreal numbersreal numbersalternative set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cited In (3)

• Long reals
• On the structure of an isotonic groupoid on the class of natural numbers in AST
• 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)