FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC

DOI10.1017/S1755020315000337zbMath1401.03099MaRDI QIDQ2804471

Annika Kanckos

Publication date: 29 April 2016

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

zbMATH Keywords

consistency proofsSchütteStenius

Mathematics Subject Classification ID

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

Related Items

Glivenko sequent classes and constructive cut elimination in geometric logics

Cites Work

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