scientific article; zbMATH DE number 2236632

MaRDI QIDQ5711883zbMATH OpenFDO

Authors António Marques Fernandes, Fernando Ferreira

Publication date 8 December 2005

zbMATH Keywords

Heine/Borel covering theoremmaximum principlereal-valued continuous functionsreverse mathematicsuniform continuity

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Analysis in weak systems
• Bounded functional interpretation and feasible analysis
• Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
• Weak König's lemma implies the uniform continuity theorem
• A feasible theory for analysis

Cited in

(3)

• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• Analysis in weak systems
• Bounded functional interpretation and feasible analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5711883)