scientific article; zbMATH DE number 3559519

MaRDI QIDQ4132488zbMATH OpenFDO

Authors Ferdinando Arzarello

Publication date 1976

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Recommendations

• Normal forms for derivations in Arai's \(\text{AI}_\xi^-\)
• Normalization proof for Peano arithmetic
• A note on how to extend Gentzen's second consistency proof to a proof of normalization for first order arithmetic
• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic
• On the scheme of induction for bounded arithmetic formulas

Cited in

(1)

• Normal forms for derivations in Arai's \(\text{AI}_\xi^-\)

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 Q4132488)