scientific article; zbMATH DE number 1870414
From MaRDI portal
Publication:4793025
zbMath1022.03044MaRDI QIDQ4793025
Publication date: 18 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryreverse mathematicsuniform boundssecond-order arithmeticimplicationsconservationssubsystems of type theory
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (29)
Countable sets versus sets that are countable in reverse mathematics ⋮ Representations and the foundations of mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Reverse mathematics and parameter-free transfer ⋮ Light monotone Dialectica methods for proof mining ⋮ Betwixt Turing and Kleene ⋮ Between Turing and Kleene ⋮ Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ ⋮ Splittings and disjunctions in reverse mathematics ⋮ Lifting proofs from countable to uncountable mathematics ⋮ Decidable fan theorem and uniform continuity theorem with continuous moduli ⋮ Banach’s theorem in higher-order reverse mathematics ⋮ To be or not to be constructive, that is not the question ⋮ Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ The non-normal abyss in Kleene's computability theory ⋮ On the computational properties of the uncountability of the real numbers ⋮ Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem ⋮ A Computable Solution to Partee’s Temperature Puzzle ⋮ Unnamed Item ⋮ From Nonstandard Analysis to Various Flavours of Computability Theory ⋮ Things that can and things that cannot be done in PRA ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces ⋮ Bounded functional interpretation ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Reverse formalism 16 ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ On the mathematical and foundational significance of the uncountable ⋮ Nets and reverse mathematics
This page was built for publication: