Open sets in computability theory and reverse mathematics (Q5140330): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1093/logcom/exaa049
@@ Property / DOI: 10.1093/logcom/exaa049 / rank @@
-Normal rank
@@ Property / DOI @@
+.1093/LOGCOM/EXAA049
@@ Property / DOI: 10.1093/LOGCOM/EXAA049 / rank @@
+Normal rank
@@ Property / Recommended article @@
+The strength of compactness in computability theory and nonstandard analysis
+Normal rank
+Similarity Score: 0.76574624Amount 0.76574624
Unit 1
-Amount
+.76574624
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nets and reverse mathematics. Some initial results
+Normal rank
+Similarity Score: 0.72974867Amount 0.72974867
Unit 1
-Amount
+.72974867
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+ON THE UNCOUNTABILITY OF
@@ Property / Recommended article: ON THE UNCOUNTABILITY OF / rank @@
+Normal rank
@@ Property / Recommended article: ON THE UNCOUNTABILITY OF / qualifier @@
+Similarity Score: 0.7109115Amount 0.7109115
Unit 1
-Amount
+.7109115
 Unit
@@ Property / Recommended article: ON THE UNCOUNTABILITY OF / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Pincherle's theorem in reverse mathematics and computability theory
+Normal rank
+Similarity Score: 0.70078987Amount 0.70078987
Unit 1
-Amount
+.70078987
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics†
+Normal rank
+Similarity Score: 0.6982374Amount 0.6982374
Unit 1
-Amount
+.6982374
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Nets and reverse mathematics
@@ Property / Recommended article: Nets and reverse mathematics / rank @@
+Normal rank
@@ Property / Recommended article: Nets and reverse mathematics / qualifier @@
+Similarity Score: 0.6943412Amount 0.6943412
Unit 1
-Amount
+.6943412
 Unit
@@ Property / Recommended article: Nets and reverse mathematics / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Banach’s theorem in higher-order reverse mathematics
+Normal rank
+Similarity Score: 0.6936943Amount 0.6936943
Unit 1
-Amount
+.6936943
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
+Similarity Score: 0.68661684Amount 0.68661684
Unit 1
-Amount
+.68661684
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
+Normal rank
+Similarity Score: 0.6818517Amount 0.6818517
Unit 1
-Amount
+.6818517
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Reverse mathematics of the uncountability of \(\mathbb{R}\)
+Normal rank
+Similarity Score: 0.68066233Amount 0.68066233
Unit 1
-Amount
+.68066233
 Unit
+Recommender Run: Recommender Run 2