Reverse mathematics. Proofs from the inside out
From MaRDI portal
Publication:5348541
Recommendations
Cited in
(35)- Splittings and disjunctions in reverse mathematics
- Reverse mathematics, countable and uncountable
- Nets and reverse mathematics
- Computability theory, nonstandard analysis, and their connections
- Reverse mathematics of the uncountability of \(\mathbb{R}\)
- Betwixt Turing and Kleene
- Chi-Tat Chong’s Work on Reverse Mathematics
- Reverse Mathematics and Π12 Comprehension
- On the uncountability of \(\mathbb{R}\)
- Representations and the foundations of mathematics
- Splittings and robustness for the Heine-Borel theorem
- Reverse mathematics: the playground of logic
- Alice’s adventures in inverse tan land – mathematical argument, language and proof
- Reverse physics: from laws to physical assumptions
- The strength of compactness in computability theory and nonstandard analysis
- Structure of semisimple rings in reverse and computable mathematics
- Reverse mathematics and Isbell's zig-zag theorem
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- On the logical and computational properties of the Vitali covering theorem
- Reverse mathematics and its meaning
- The Brouwer invariance theorems in reverse mathematics
- Between Turing and Kleene
- On existence in arithmetic
- scientific article; zbMATH DE number 4127166 (Why is no real title available?)
- Lifting proofs from countable to uncountable mathematics
- Reverse mathematics and local rings
- A note on continuous functions on metric spaces
- scientific article; zbMATH DE number 3924748 (Why is no real title available?)
- Countable sets versus sets that are countable in reverse mathematics
- An Introduction to Constructive Reverse Mathematics
- Reverse mathematics of topology: dimension, paracompactness, and splittings
- Pincherle's theorem in reverse mathematics and computability theory
- Littlewood's principles in reverse real analysis
- A note on non-classical nonstandard arithmetic
- Some nonstandard equivalences in reverse mathematics
This page was built for publication: Reverse mathematics. Proofs from the inside out
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348541)
