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

DOI10.1017/S1755020315000337zbMATH Open1401.03099MaRDI QIDQ2804471FDOQ2804471

Authors: Annika Siders 

Publication date: 29 April 2016

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

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

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)

Cites Work

• Cut Elimination in the Presence of Axioms
• Handbook of proof theory
• A proof of Gentzen's \textit{Hauptsatz} without multicut
• Gentzen’s Original Consistency Proof and the Bar Theorem
• Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

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)