The machinery of consistency proofs

DOI10.1016/0168-0072(89)90050-XzbMath0679.03023MaRDI QIDQ1124588

Mariko Yasugi

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

second-order systemproof theoryclosed sequentconsistency proofenrichment of sequentomega-derivationprimitive recursive proceduresecond-order comprehension

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (2)

Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ordinal diagrams
• Ordinal diagrams. II
• An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions
• Groundedness property and accessibility of ordinal diagrams
• Proof theory. 2nd ed
• A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis
• A two-storied universe of transfinite mechanisms
• An interpretation of intuitionistic analysis with restricted transfinite inductive definitions
• Gentzen reduction revisited
• An accessibility proof of ordinal diagrams
• 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
• Intuitionistic analysis and Gödel's interpretation
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Information-Extraction Through Reduction Methods In Some Formal Systems
• Some properties of ordinal diagrams
• Ein konstruktives system von Ordinalzahlen

This page was built for publication: The machinery of consistency proofs