Classifying Dini's theorem

DOI10.1305/ndjfl/1153858650zbMath1156.03055OpenAlexW1993033034MaRDI QIDQ867406

Josef Berger, Peter M. Schuster

Publication date: 15 February 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1153858650

zbMATH Keywords

uniform convergenceconstructive mathematicsreverse mathematicscontinuous functionscompact metric spaces

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Compact (locally compact) metric spaces (54E45) Second- and higher-order arithmetic and fragments (03F35) Constructive real analysis (26E40)

Related Items (5)

Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ The swap of integral and limit in constructive mathematics ⋮ Problems, solutions, and completions ⋮ Bishop-Style Constructive Reverse Mathematics

This page was built for publication: Classifying Dini's theorem