Phase transitions of iterated Higman-style well-partial-orderings (Q661281): Difference between revisions

@@ Property / cites work @@
+Q2776818
@@ Property / cites work: Q2776818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3582051
@@ Property / cites work: Q3582051 / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Approach to Fundamental Sequences and Hierarchies
+Normal rank
@@ Property / cites work @@
+Q3549563
@@ Property / cites work: Q3549563 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of the one-dimensional version of the Kruskal-Friedman theorems
+Normal rank
@@ Property / cites work @@
+Generalizations of the Kruskal-Friedman theorems
@@ Property / cites work: Generalizations of the Kruskal-Friedman theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273865
@@ Property / cites work: Q4273865 / rank @@
+Normal rank
@@ Property / cites work @@
+A modified sentence unprovable in <b>PA</b>
@@ Property / cites work: A modified sentence unprovable in <b>PA</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Q2959916
@@ Property / cites work: Q2959916 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable linearizations of well-partial-orderings
+Normal rank
@@ Property / cites work @@
+An application of graphical enumeration to PA *
@@ Property / cites work: An application of graphical enumeration to PA * / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of rapidly growing Ramsey functions
+Normal rank
@@ Property / cites work @@
+Classifying the Provably Total Functions of PA
@@ Property / cites work: Classifying the Provably Total Functions of PA / rank @@
+Normal rank
@@ Property / cites work @@
+Phase transition thresholds for some Friedman-style independence results
+Normal rank
@@ Property / cites work @@
+Phase transitions for Gödel incompleteness
@@ Property / cites work: Phase transitions for Gödel incompleteness / rank @@
+Normal rank