FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471): Difference between revisions

@@ Property / author @@
-Annika Kanckos
@@ Property / author: Annika Kanckos / rank @@
-Normal rank
@@ Property / author @@
+Annika Kanckos
@@ Property / author: Annika Kanckos / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Gentzen’s Original Consistency Proof and the Bar Theorem
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Gentzen's \textit{Hauptsatz} without multicut
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank