Real numbers and other completions
From MaRDI portal
Publication:5448620
DOI10.1002/malq.200710024zbMath1134.03041MaRDI QIDQ5448620
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
Related Items
Constructive Urysohn's Universal Metric Space, Computer Certified Efficient Exact Reals in Coq, Completion of premetric spaces, A constructive real projective plane, The intermediate value theorem in constructive mathematics without choice, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, A computer-verified monadic functional implementation of the integral, Problems, solutions, and completions, Certified Exact Transcendental Real Number Computation in Coq
Cites Work