From Stenius' consistency proof to Schütte's cut elimination for -arithmetic

DOI10.1017/S1755020315000337MaRDI QIDQ2804471zbMATH OpenFDO

Authors Annika Siders

Publication date 29 April 2016

Published in The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

consistency proofsSteniusSchütte

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30)

Recommendations

• Further applications of ultra-conservative ω-rules
• On an extremely restricted ω-rule
• From \textit{Hauptsatz} to \textit{Hilfssatz}
• Gentzen's consistency proof without heightlines
• Lorenzen Between Gentzen and Schütte

Cites work

• A proof of Gentzen's \textit{Hauptsatz} without multicut
• Cut Elimination in the Presence of Axioms
• Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
• Gentzen's original consistency proof and the bar theorem
• Handbook of proof theory

Cited in

(4)

• Glivenko sequent classes and constructive cut elimination in geometric logics
• Further applications of ultra-conservative ω-rules
• Gentzen's second consistency proof and strong cut-elimination
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

This page was built for publication: From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic

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