Linear extensions of partial orders and reverse mathematics (Q3144869): Difference between revisions

@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
+Normal rank
@@ Property / cites work @@
+Computability-theoretic and proof-theoretic aspects of partial and linear orderings
+Normal rank
@@ Property / cites work @@
+Weak comparability of well orderings and reverse mathematics
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+Hilbert versus Hindman
@@ Property / cites work: Hilbert versus Hindman / rank @@
+Normal rank
@@ Property / cites work @@
+The maximal linear extension theorem in second order arithmetic
+Normal rank
@@ Property / cites work @@
+Equivalence between Fraïssé's conjecture and Jullien's theorem
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank