A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic

DOI10.21099/TKBJM/1496163242zbMath0895.03024OpenAlexW377128222MaRDI QIDQ1375747

Kazuma Ikeda

Publication date: 14 September 1998

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496163242

zbMATH Keywords

Peano arithmeticnormal form theorem\(\omega\)-consistencystrongly irreducible derivations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Related Items (1)

Extended normal form theorems for logical proofs from axioms

This page was built for publication: A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic