Gentzen reduction revisited

DOI10.2977/PRIMS/1195187498zbMath0436.03049OpenAlexW2064291214MaRDI QIDQ1140640

Mariko Yasugi

Publication date: 1980

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195187498

zbMATH Keywords

proof theoryfinite interpretations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Relative consistency and interpretations (03F25)

Related Items (1)

The machinery of consistency proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consistency proofs of subsystems of classical analysis
• Cut elimination theorem for second order arithmetic with the \(\Pi^ 1_ 1\)-comprehension axiom and the \(\omega\)-rule
• On provably recursive functions and ordinal recursive functions
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Mathematical significance of consistency proofs
• The Ω-consistency of ramified analysis
• Functionals defined by transfinite recursion
• The substitution method
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• A survey of proof theory
• On the Interpretation of Non-Finitist Proofs--Part I

This page was built for publication: Gentzen reduction revisited