Partial impredicativity in reverse mathematics (Q5300073): 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 @@
+An effective proof that open sets are Ramsey
@@ Property / cites work: An effective proof that open sets are Ramsey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\)
@@ Property / cites work: Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\) / rank @@
+Normal rank
@@ Property / cites work @@
+Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank