Publication:4793025
From MaRDI portal
zbMath1022.03044MaRDI QIDQ4793025
Publication date: 18 February 2003
proof theory; reverse mathematics; uniform bounds; second-order arithmetic; implications; conservations; subsystems of type theory
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces, On the mathematical and foundational significance of the uncountable, Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem, Reverse mathematics and parameter-free transfer, To be or not to be constructive, that is not the question, Things that can and things that cannot be done in PRA, Bounded functional interpretation, A Computable Solution to Partee’s Temperature Puzzle, From Nonstandard Analysis to Various Flavours of Computability Theory, Light monotone Dialectica methods for proof mining, Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$