Reverse mathematics. Proofs from the inside out
From MaRDI portal
Publication:5348541
zbMATH Open1386.00059MaRDI QIDQ5348541FDOQ5348541
Authors: John Stillwell 
Publication date: 18 August 2017
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) History of real functions (26-03) General histories, source books (01A05)
Cited In (35)
- Reverse mathematics, countable and uncountable
- Splittings and disjunctions in reverse mathematics
- Nets and reverse mathematics
- Computability theory, nonstandard analysis, and their connections
- Chi-Tat Chong’s Work on Reverse Mathematics
- Reverse mathematics of the uncountability of \(\mathbb{R}\)
- Reverse Mathematics and Π12 Comprehension
- Betwixt Turing and Kleene
- 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
- Structure of semisimple rings in reverse and computable mathematics
- The strength of compactness in computability theory and nonstandard analysis
- Reverse physics: from laws to physical assumptions
- 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
- Title not available (Why is that?)
- Lifting proofs from countable to uncountable mathematics
- Reverse mathematics and local rings
- A note on continuous functions on metric spaces
- Title not available (Why is that?)
- Countable sets versus sets that are countable in reverse mathematics
- An Introduction to Constructive Reverse Mathematics
- Littlewood's principles in reverse real analysis
- Reverse mathematics of topology: dimension, paracompactness, and splittings
- Pincherle's theorem in reverse mathematics and computability theory
- 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)
