Publication:5348541
From MaRDI portal
zbMath1386.00059MaRDI QIDQ5348541
Publication date: 18 August 2017
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
26-03: History of real functions
01A05: General histories, source books
Related Items
Nets and reverse mathematics, Countable sets versus sets that are countable in reverse mathematics, ON THE UNCOUNTABILITY OF, The Brouwer invariance theorems in reverse mathematics, COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS, Structure of semisimple rings in reverse and computable mathematics, Littlewood's principles in reverse real analysis, 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