A Constructive Look at Generalised Cauchy Reals

DOI10.1002/(SICI)1521-3870(200001)46:1%3C125::AID-MALQ125%3E3.0.CO;2-VMaRDI QIDQ4939408zbMATH OpenOpenAlexFDO

Authors Peter Schuster

Publication date 27 August 2000

Full work available at URL https://doi.org/10.1002/(sici)1521-3870(200001)46:1%3C125::aid-malq125%3E3.0.co;2-v

zbMATH Keywords

Cauchy realsconstructive continuumconstructive nonstandard analysiscountable choicegeneralised realshyperreal numbersinfinitesimalsnonarchimedean extension of infinite sequences of rational numbersstandard part operator for the reals

Mathematics Subject Classification ID

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

Recommendations

• A constructive approach to nonstandard analysis
• Publication:4893100
• Developments in Constructive Nonstandard Analysis
• On the Cauchy completeness of the constructive Cauchy reals
• Nonstandard analysis and constructivism?

Cited in

(6)

• Unique existence, approximate solutions, and countable choice.
• Notions of Cauchyness and metastability
• Foundational aspects of multiscale digitization
• Implementing constructive real analysis (preliminary report)
• Real numbers in the topos of sheaves over the category of filters
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics

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

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