Partial impredicativity in reverse mathematics (Q5300073): Difference between revisions

← Older edit

@@ Property / DOI @@
-.2178/jsl.7802070
@@ Property / DOI: 10.2178/jsl.7802070 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.6063
@@ Property / arXiv ID: 1106.6063 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.2178/JSL.7802070
@@ Property / DOI: 10.2178/JSL.7802070 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
+Similarity Score: 0.79529417Amount 0.79529417
Unit 1
-Amount
+.79529417
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Ordinal inequalities, transfinite induction, and reverse mathematics
+Normal rank
+Similarity Score: 0.7875315Amount 0.7875315
Unit 1
-Amount
+.7875315
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3699664
@@ Property / Recommended article: Q3699664 / rank @@
+Normal rank
@@ Property / Recommended article: Q3699664 / qualifier @@
+Similarity Score: 0.7858214Amount 0.7858214
Unit 1
-Amount
+.7858214
 Unit
@@ Property / Recommended article: Q3699664 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Reverse Mathematics and Ordinal Multiplication
+Normal rank
+Similarity Score: 0.7758968Amount 0.7758968
Unit 1
-Amount
+.7758968
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Well-Ordering Principles in Proof Theory and Reverse Mathematics
+Normal rank
+Similarity Score: 0.7758357Amount 0.7758357
Unit 1
-Amount
+.7758357
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5711887
@@ Property / Recommended article: Q5711887 / rank @@
+Normal rank
@@ Property / Recommended article: Q5711887 / qualifier @@
+Similarity Score: 0.7736909Amount 0.7736909
Unit 1
-Amount
+.7736909
 Unit
@@ Property / Recommended article: Q5711887 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Comparing DNR and WWKL
@@ Property / Recommended article: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / Recommended article: Comparing DNR and WWKL / qualifier @@
+Similarity Score: 0.76790094Amount 0.76790094
Unit 1
-Amount
+.76790094
 Unit
@@ Property / Recommended article: Comparing DNR and WWKL / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Weak and strong versions of effective transfinite recursion
+Normal rank
+Similarity Score: 0.76679504Amount 0.76679504
Unit 1
-Amount
+.76679504
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nonstandard Arithmetic and Reverse Mathematics
+Normal rank
+Similarity Score: 0.7624914Amount 0.7624914
Unit 1
-Amount
+.7624914
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+What is effective transfinite recursion in reverse mathematics?
+Normal rank
+Similarity Score: 0.76191705Amount 0.76191705
Unit 1
-Amount
+.76191705
 Unit
+Recommender Run: Recommender Run 2