scientific article; zbMATH DE number 1088186

zbMath0887.03043MaRDI QIDQ4364500

Wilfried Buchholz

Publication date: 23 March 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cut-eliminationinfinitary derivations\(\omega\)-arithmeticconsistency of number theory

Mathematics Subject Classification ID

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

Related Items (9)

An extension of the omega-rule ⋮ A termination proof for epsilon substitution using partial derivations ⋮ Mining the surface: witnessing the low complexity theorems of arithmetic ⋮ On the computational complexity of cut-reduction ⋮ Infinitary action logic with multiplexing ⋮ A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION ⋮ A Characterisation of Definable NP Search Problems in Peano Arithmetic ⋮ Infinitary action logic with exponentiation ⋮ Reduction of finite and infinite derivations

This page was built for publication: