Fraïssé’s conjecture in Π11-comprehension (Q4596662): Difference between revisions

@@ Property / cites work @@
+Q3197820
@@ Property / cites work: Q3197820 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and the equivalence of definitions for well and better quasi-orders
+Normal rank
@@ Property / cites work @@
+Q3671967
@@ Property / cites work: Q3671967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791703
@@ Property / cites work: Q5791703 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher set theory and mathematical practice
@@ Property / cites work: Higher set theory and mathematical practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773882
@@ Property / cites work: Q3773882 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+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 @@
+Foundations of BQO Theory
@@ Property / cites work: Foundations of BQO Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837736
@@ Property / cites work: Q3837736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711893
@@ Property / cites work: Q5711893 / rank @@
+Normal rank
@@ Property / cites work @@
+Happy families
@@ Property / cites work: Happy families / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraïssé's conjecture for linear orders of finite Hausdorff rank
+Normal rank
@@ Property / cites work @@
+Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction
+Normal rank
@@ Property / cites work @@
+Equivalence between Fraïssé's conjecture and Jullien's theorem
+Normal rank
@@ Property / cites work @@
+On the Equimorphism Types of Linear Orderings
@@ Property / cites work: On the Equimorphism Types of Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537629
@@ Property / cites work: Q5537629 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Hierarchies of Δ<sup>0</sup><sub>2</sub>‐measurable <i>k</i> ‐partitions
+Normal rank
@@ Property / cites work @@
+Q4764120
@@ Property / cites work: Q4764120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperarithmetically Encodable Sets
@@ Property / cites work: Hyperarithmetically Encodable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing with tagged trees
@@ Property / cites work: Forcing with tagged trees / rank @@
+Normal rank
@@ Property / cites work @@
+The Galvin-Prikry theorem and set existence axioms
+Normal rank
@@ Property / cites work @@
+Q3789551
@@ Property / cites work: Q3789551 / rank @@
+Normal rank