scientific article; zbMATH DE number 1870414

From MaRDI portal
Publication:4793025

zbMath1022.03044MaRDI QIDQ4793025

Ulrich Kohlenbach

Publication date: 18 February 2003


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (29)

Countable sets versus sets that are countable in reverse mathematicsRepresentations and the foundations of mathematicsON THE UNCOUNTABILITY OFReverse mathematics and parameter-free transferLight monotone Dialectica methods for proof miningBetwixt Turing and KleeneBetween Turing and KleeneIntuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$Splittings and disjunctions in reverse mathematicsLifting proofs from countable to uncountable mathematicsDecidable fan theorem and uniform continuity theorem with continuous moduliBanach’s theorem in higher-order reverse mathematicsTo be or not to be constructive, that is not the questionCoding of real‐valued continuous functions under WKL$\mathsf {WKL}$The non-normal abyss in Kleene's computability theoryOn the computational properties of the uncountability of the real numbersAligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theoremA Computable Solution to Partee’s Temperature PuzzleUnnamed ItemFrom Nonstandard Analysis to Various Flavours of Computability TheoryThings that can and things that cannot be done in PRAReverse mathematics of topology: dimension, paracompactness, and splittingsA Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic SpacesBounded functional interpretationCOMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONSReverse formalism 16Pincherle's theorem in reverse mathematics and computability theoryOn the mathematical and foundational significance of the uncountableNets and reverse mathematics




This page was built for publication: