Reverse mathematics. Proofs from the inside out
From MaRDI portal
(Redirected from Reverse mathematics. Proofs from the inside out)
Recommendations
Cited in
(46)- Reverse mathematics and its meaning
- Some nonstandard equivalences in reverse mathematics
- A note on non-classical nonstandard arithmetic
- Reverse mathematics of topology: dimension, paracompactness, and splittings
- Reverse mathematics of the uncountability of \(\mathbb{R}\)
- Splittings and robustness for the Heine-Borel theorem
- Reverse physics: from laws to physical assumptions
- Representations and the foundations of mathematics
- Betwixt Turing and Kleene
- Between Turing and Kleene
- Splittings and disjunctions in reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- The strength of compactness in computability theory and nonstandard analysis
- Lifting proofs from countable to uncountable mathematics
- Reverse mathematics and Isbell's zig-zag theorem
- Reverse mathematics: the playground of logic
- Reverse mathematics, countable and uncountable
- scientific article; zbMATH DE number 3924748 (Why is no real title available?)
- scientific article; zbMATH DE number 4127166 (Why is no real title available?)
- Subsystems of second order arithmetic
- Nets and reverse mathematics
- Countable sets versus sets that are countable in reverse mathematics
- On the uncountability of \(\mathbb{R}\)
- Reverse Mathematics
- The Brouwer invariance theorems in reverse mathematics
- scientific article; zbMATH DE number 4197982 (Why is no real title available?)
- Computability theory, nonstandard analysis, and their connections
- Reverse Mathematics and Π12 Comprehension
- On existence in arithmetic
- Alice’s adventures in inverse tan land – mathematical argument, language and proof
- Structure of semisimple rings in reverse and computable mathematics
- An Introduction to Constructive Reverse Mathematics
- Littlewood's principles in reverse real analysis
- Chi-Tat Chong’s Work on Reverse Mathematics
- On the logical and computational properties of the Vitali covering theorem
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- Reverse mathematics and local rings
- A note on continuous functions on metric spaces
- Big in reverse mathematics: measure and category
- Deduction and ampliativity: a critical appraisal
- Categories and functors in reverse and computable mathematics
- The biggest five of reverse mathematics
- Sometimes tame, sometimes wild: weak continuity
- Big in reverse mathematics: the uncountability of the reals
- Wittgenstein on Cantor's proof
- Approximation theorems throughout 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)
