scientific article; zbMATH DE number 2019844

MaRDI QIDQ4440538zbMATH OpenFDO

Authors Mariagnese Giusto

Publication date 4 January 2004

zbMATH Keywords

reverse mathematicssubsystems of second-order arithmeticsurvey

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3924748
• Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
• scientific article; zbMATH DE number 4197982
• Lebesgue Convergence Theorems and Reverse Mathematics
• Reverse mathematics and homeomorphic embeddings

Cited in

(35)

• Countable algebra and set existence axioms
• Reverse mathematics and homeomorphic embeddings
• Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
• Vitali's theorem and WWKL
• Reverse mathematics and rank functions for directed graphs
• Refining the taming of the reverse mathematics zoo
• A study of singular points and supports of measures in reverse mathematics
• Reverse mathematics of topology: dimension, paracompactness, and splittings
• Measure theory and weak König's lemma
• Reverse mathematics and Isbell's zig-zag theorem
• More reverse mathematics of the Heine-Borel theorem
• Reverse mathematics, trichotomy and dichotomy
• Uniform versions of some axioms of second order arithmetic
• Reverse mathematics: the playground of logic
• REVERSE MATHEMATICS OF MF SPACES
• scientific article; zbMATH DE number 3924748 (Why is no real title available?)
• On the strength of the finite intersection principle
• Lebesgue Convergence Theorems and Reverse Mathematics
• Derived sequences and reverse mathematics
• Reverse mathematics and properties of finite character
• scientific article; zbMATH DE number 1531925 (Why is no real title available?)
• Located sets and reverse mathematics
• Set existence principles and closure conditions: unravelling the standard view of reverse mathematics
• The Brouwer invariance theorems in reverse mathematics
• On the mathematical and foundational significance of the uncountable
• Reverse mathematics and order theoretic fixed point theorems
• The prehistory of the subsystems of second-order arithmetic
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Δ₃^O-determinacy, comprehension and induction
• Comparing DNR and WWKL
• Equivalence between theorems: the research program of reverse mathematics
• scientific article; zbMATH DE number 2236628 (Why is no real title available?)
• scientific article; zbMATH DE number 2236636 (Why is no real title available?)
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• Chi-Tat Chong’s Work on Reverse Mathematics

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 Q4440538)