Exact unprovability results for compound well-quasi-ordered combinatorial classes (Q1006603): Difference between revisions

@@ Property / cites work @@
+Q4386297
@@ Property / cites work: Q4386297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773882
@@ Property / cites work: Q3773882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682013
@@ Property / cites work: Q5682013 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5696111
@@ Property / cites work: Q5696111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3772200
@@ Property / cites work: Q3772200 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper minor-closed families are small
@@ Property / cites work: Proper minor-closed families are small / rank @@
+Normal rank
@@ Property / cites work @@
+The number of trees
@@ Property / cites work: The number of trees / rank @@
+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 @@
+Phase transition thresholds for some Friedman-style independence results
+Normal rank