scientific article; zbMATH DE number 1088186

MaRDI QIDQ4364500zbMATH OpenFDO

Authors Wilfried Buchholz

Publication date 23 March 1998

zbMATH Keywords

\(\omega\)-arithmeticconsistency of number theorycut-eliminationinfinitary derivations

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Explaining the Gentzen-Takeuti reduction steps: A second-order system
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• Decoding Gentzen's Notation
• Takeuti's well-ordering proof: an accessible reconstruction

Cited in

(13)

• A termination proof for epsilon substitution using partial derivations
• Reduction of finite and infinite derivations
• Infinitary action logic with exponentiation
• Infinitary action logic with multiplexing
• An extension of the omega-rule
• A Characterisation of Definable NP Search Problems in Peano Arithmetic
• A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction
• Takeuti's well-ordering proof: an accessible reconstruction
• A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
• Mining the surface: witnessing the low complexity theorems of arithmetic
• On the computational complexity of cut-reduction
• Witnessing flows in arithmetic
• Infinitary calculus for first-order logic of probability with distribution on the domain

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364500)