Ackermann and Goodstein go functorial (Q2234350): Difference between revisions

@@ Property / DOI @@
-.2140/pjm.2021.313.251
@@ Property / DOI: 10.2140/pjm.2021.313.251 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W3199855912
@@ Property / OpenAlex ID: W3199855912 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and well-ordering principles: a pilot study
+Normal rank
@@ Property / cites work @@
+Ordinal Analysis with an Introduction to Proof Theory
+Normal rank
@@ Property / cites work @@
+Predicatively unprovable termination of the Ackermannian Goodstein process
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+Normal rank
@@ Property / cites work @@
+Computable aspects of the Bachmann–Howard principle
+Normal rank
@@ Property / cites work @@
+PREDICATIVE COLLAPSING PRINCIPLES
@@ Property / cites work: PREDICATIVE COLLAPSING PRINCIPLES / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / 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 @@
+Reverse mathematics and ordinal exponentiation
@@ Property / cites work: Reverse mathematics and ordinal exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q2879086
@@ Property / cites work: Q2879086 / rank @@
+Normal rank
@@ Property / cites work @@
+Goodstein’s Theorem Revisited
@@ Property / cites work: Goodstein’s Theorem Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified functorial construction of the veblen hierarchy
+Normal rank
@@ Property / DOI @@
+.2140/PJM.2021.313.251
@@ Property / DOI: 10.2140/PJM.2021.313.251 / rank @@
+Normal rank