Real numbers and other completions

DOI10.1002/malq.200710024zbMath1134.03041OpenAlexW2078842522MaRDI QIDQ5448620

Fred Richman

Publication date: 7 March 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710024

zbMATH Keywords

completionscountable choicereal numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Related Items (9)

A constructive real projective plane ⋮ The intermediate value theorem in constructive mathematics without choice ⋮ Certified Exact Transcendental Real Number Computation in Coq ⋮ Constructive Urysohn's Universal Metric Space ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ A computer-verified monadic functional implementation of the integral ⋮ Computer Certified Efficient Exact Reals in Coq ⋮ Problems, solutions, and completions ⋮ Completion of premetric spaces

Cites Work

• Techniques of constructive analysis
• Constructivism in mathematics. An introduction. Volume I

This page was built for publication: Real numbers and other completions