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, Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem, Things that can and things that cannot be done in PRA, Bounded functional interpretation, Light monotone Dialectica methods for proof mining