scientific article; zbMATH DE number 6762169
From MaRDI portal
Publication:5348541
zbMath1386.00059MaRDI QIDQ5348541
Publication date: 18 August 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of real functions (26-03) General histories, source books (01A05)
Related Items (19)
Countable sets versus sets that are countable in reverse mathematics ⋮ Reverse physics: from laws to physical assumptions ⋮ Representations and the foundations of mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Betwixt Turing and Kleene ⋮ Between Turing and Kleene ⋮ Splittings and disjunctions in reverse mathematics ⋮ Lifting proofs from countable to uncountable mathematics ⋮ Structure of semisimple rings in reverse and computable mathematics ⋮ Littlewood's principles in reverse real analysis ⋮ A note on non-classical nonstandard arithmetic ⋮ The Brouwer invariance theorems in reverse mathematics ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ Nets and reverse mathematics ⋮ The strength of compactness in computability theory and nonstandard analysis ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\) ⋮ Splittings and robustness for the Heine-Borel theorem
This page was built for publication:
