A method of constructing the field of real numbers in AST

DOI10.1070/RM1992V047N05ABEH000951zbMath0791.03029OpenAlexW2019667230MaRDI QIDQ3138150

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

real numbershyperreal numbersalternative set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (1)

On the structure of an isotonic groupoid on the class of natural numbers in AST

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