Classical provability of uniform versions and intuitionistic provability

DOI10.1002/malq.201300056zbMath1367.03108OpenAlexW1505161136MaRDI QIDQ5258475

Makoto Fujiwara, Ulrich Kohlenbach

Publication date: 22 June 2015

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201300056

zbMATH Keywords

uniformization theoremclassical provabilityintutionistic provability

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Weihrauch and constructive reducibility between existence statements

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reverse mathematics and uniformity in proofs without excluded middle
• Pointwise hereditary majorization and some applications
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• Classical consequences of continuous choice principles from intuitionistic analysis
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• Reverse mathematics, trichotomy, and dichotomy
• Uniform versions of some axioms of second order arithmetic
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• A note on Spector's quantifier-free rule of extensionality
• On uniform weak König's lemma