Analysis in weak systems

MaRDI QIDQ5224790zbMATH OpenFDO

Authors António Marques Fernandes, Fernando Ferreira, Gilda Ferreira

Publication date 24 July 2019

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• The Riemann integral in weak systems of analysis
• scientific article; zbMATH DE number 2236632
• Measure theory and weak König's lemma
• Counting as integration in feasible analysis
• scientific article; zbMATH DE number 2236647

Cited in

(6)

• The Riemann integral in weak systems of analysis
• scientific article; zbMATH DE number 2236632 (Why is no real title available?)
• scientific article; zbMATH DE number 2236647 (Why is no real title available?)
• Primitive recursive reverse mathematics
• Conservation of Ramsey's theorem for pairs and well-foundedness
• An isomorphism theorem for models of weak König's lemma without primitive recursion

This page was built for publication: Analysis in weak systems

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