On the logical strength of the better quasi order with three elements (Q6135847): Difference between revisions

@@ Property / cites work @@
+Reverse mathematics and well-ordering principles: a pilot study
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and the equivalence of definitions for well and better quasi-orders
+Normal rank
@@ Property / cites work @@
+Better-quasi-orderings and coinduction
@@ Property / cites work: Better-quasi-orderings and coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5770686
@@ Property / cites work: Q5770686 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / 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 @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+On Fraissé's order type conjecture
@@ Property / cites work: On Fraissé's order type conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711893
@@ Property / cites work: Q5711893 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraïssé's conjecture for linear orders of finite Hausdorff rank
+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 @@
+Equivalence between Fraïssé's conjecture and Jullien's theorem
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Fraïssé’s conjecture in Π11-comprehension
@@ Property / cites work: Fraïssé’s conjecture in Π11-comprehension / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520569
@@ Property / cites work: Q5520569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537629
@@ Property / cites work: Q5537629 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards better: a motivated introduction to better-quasi-orders
+Normal rank
@@ Property / cites work @@
+Q2906572
@@ Property / cites work: Q2906572 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. XIII: The disjoint paths problem
@@ Property / cites work: Graph minors. XIII: The disjoint paths problem / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q3801541
@@ Property / cites work: Q3801541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank