Dini’s Theorem in the Light of Reverse Mathematics
From MaRDI portal
Publication:3613303
DOI10.1007/978-1-4020-8926-8_7zbMath1162.03032OpenAlexW51706566MaRDI QIDQ3613303
Josef Berger, Peter M. Schuster
Publication date: 12 March 2009
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_7
Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items (2)
Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Nets and reverse mathematics
This page was built for publication: Dini’s Theorem in the Light of Reverse Mathematics