Publication:4939408
From MaRDI portal
DOI<125::AID-MALQ125>3.0.CO;2-V 10.1002/(SICI)1521-3870(200001)46:1<125::AID-MALQ125>3.0.CO;2-VzbMath0943.03049MaRDI QIDQ4939408
Publication date: 27 August 2000
countable choice; Cauchy reals; hyperreal numbers; infinitesimals; constructive nonstandard analysis; constructive continuum; generalised reals; nonarchimedean extension of infinite sequences of rational numbers; standard part operator for the reals
03F60: Constructive and recursive analysis
03H15: Nonstandard models of arithmetic
03H05: Nonstandard models in mathematics
Related Items
Real numbers in the topos of sheaves over the category of filters, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Unique existence, approximate solutions, and countable choice., Foundational aspects of multiscale digitization