Functorial Fast-Growing Hierarchies (Q6148467): Difference between revisions

@@ Property / cites work @@
+Reverse mathematics and well-ordering principles: a pilot study
+Normal rank
@@ Property / cites work @@
+Ackermann and Goodstein go functorial
@@ Property / cites work: Ackermann and Goodstein go functorial / rank @@
+Normal rank
@@ Property / cites work @@
+Q5800868
@@ Property / cites work: Q5800868 / 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 Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Q4055632
@@ Property / cites work: Q4055632 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Pi_1^1\)-comprehension as a well-ordering principle
+Normal rank
@@ Property / cites work @@
+Long finite sequences
@@ Property / cites work: Long finite sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's Theorem for n-Parameter Sets
@@ Property / cites work: Ramsey's Theorem for n-Parameter Sets / 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 @@
+Mathematics and Computer Science: Coping with Finiteness
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+The Veblen functions for computability theorists
@@ Property / cites work: The Veblen functions for computability theorists / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934564
@@ Property / cites work: Q4934564 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Ordering Principles and Bar Induction
@@ Property / cites work: Well-Ordering Principles and Bar Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906572
@@ Property / cites work: Q2906572 / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Recursive Functions
@@ Property / cites work: Accessible Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
+Normal rank