Die another day (Q2272192): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-008-9109-y
@@ Property / DOI: 10.1007/s00224-008-9109-y / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00224-008-9109-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2116914937
@@ Property / OpenAlex ID: W2116914937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681891
@@ Property / cites work: Q4681891 / rank @@
+Normal rank
@@ Property / cites work @@
+An independence result for \((\Pi^ 1_ 1-CA)+BI\)
@@ Property / cites work: An independence result for \((\Pi^ 1_ 1-CA)+BI\) / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
+Normal rank
@@ Property / cites work @@
+A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
+Normal rank
@@ Property / cites work @@
+Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
+Normal rank
@@ Property / cites work @@
+The Hydra Battle Revisited
@@ Property / cites work: The Hydra Battle Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Does Mathematics Need New Axioms?
@@ Property / cites work: Does Mathematics Need New Axioms? / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+On the restricted ordinal theorem
@@ Property / cites work: On the restricted ordinal theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
+Normal rank
@@ Property / cites work @@
+A direct independence proof of Buchholz's Hydra Game on finite labeled trees
+Normal rank
@@ Property / cites work @@
+Weak König's lemma implies Brouwer's fan theorem: a direct proof
+Normal rank
@@ Property / cites work @@
+Nonstandard Arithmetic and Reverse Mathematics
@@ Property / cites work: Nonstandard Arithmetic and Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+The 3x + 1 Problem and Its Generalizations
@@ Property / cites work: The 3x + 1 Problem and Its Generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Some independence results for Peano arithmetic
@@ Property / cites work: Some independence results for Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+TREES AND BALL GAMES
@@ Property / cites work: TREES AND BALL GAMES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
+Normal rank
@@ Property / cites work @@
+Accessible Recursive Functions
@@ Property / cites work: Accessible Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games
+Normal rank
@@ Property / DOI @@
+.1007/S00224-008-9109-Y
@@ Property / DOI: 10.1007/S00224-008-9109-Y / rank @@
+Normal rank