A Constructive Look at Generalised Cauchy Reals

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200001)46:1<125::AID-MALQ125>3.0.CO;2-V" /><125::AID-MALQ125>3.0.CO;2-V 10.1002/(SICI)1521-3870(200001)46:1<125::AID-MALQ125>3.0.CO;2-VzbMath0943.03049OpenAlexW2042694059MaRDI QIDQ4939408

Peter M. Schuster

Publication date: 27 August 2000

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200001)46:1<125::aid-malq125>3.0.co;2-v

zbMATH Keywords

countable choiceCauchy realshyperreal numbersinfinitesimalsconstructive nonstandard analysisconstructive continuumgeneralised realsnonarchimedean extension of infinite sequences of rational numbersstandard part operator for the reals

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonstandard models of arithmetic (03H15) Nonstandard models in mathematics (03H05)

Related Items (4)

Foundational aspects of multiscale digitization ⋮ Unique existence, approximate solutions, and countable choice. ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Real numbers in the topos of sheaves over the category of filters

This page was built for publication: A Constructive Look at Generalised Cauchy Reals