Étude constructive de problèmes de topologie pour les réels irrationnels

DOI10.1002/malq.19990450209zbMath0923.03072OpenAlexW2076761528MaRDI QIDQ4243916

Salah Labhalla, Henri Lombardi, Mohamed Khalouani

Publication date: 18 October 1999

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

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

zbMATH Keywords

complete metric spaceconstructive analysismetric equivalenceomniscience principlesinfinite developments in continued fractionirrational real numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Continued fractions (11A55) Constructive real analysis (26E40)

Related Items (2)

Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Continued fractions and order-preserving homeomorphism

Cites Work

• Real numbers, continued fractions and complexity classes
• Constructive irrational space
• Computational complexity of real functions
• Transformation homographique appliquée à un développement en fraction continue fini ou infini

This page was built for publication: Étude constructive de problèmes de topologie pour les réels irrationnels