Saturation and Σ<sub>2</sub>-transfer for ERNA (Q3399183): Difference between revisions

← Older edit

@@ Property / DOI @@
-.2178/JSL/1245158090
@@ Property / DOI: 10.2178/JSL/1245158090 / rank @@
-Normal rank
@@ Property / DOI @@
+.2178/JSL/1245158090
@@ Property / DOI: 10.2178/JSL/1245158090 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Transfer and a supremum principle for ERNA
+Normal rank
+Similarity Score: 0.9298351Amount 0.9298351
Unit 1
-Amount
+.9298351
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+More infinity for a better finitism
@@ Property / Recommended article: More infinity for a better finitism / rank @@
+Normal rank
@@ Property / Recommended article: More infinity for a better finitism / qualifier @@
+Similarity Score: 0.8520094Amount 0.8520094
Unit 1
-Amount
+.8520094
 Unit
@@ Property / Recommended article: More infinity for a better finitism / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+ERNA and Friedman's Reverse Mathematics
@@ Property / Recommended article: ERNA and Friedman's Reverse Mathematics / rank @@
+Normal rank
+Similarity Score: 0.84899735Amount 0.84899735
Unit 1
-Amount
+.84899735
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5711876
@@ Property / Recommended article: Q5711876 / rank @@
+Normal rank
@@ Property / Recommended article: Q5711876 / qualifier @@
+Similarity Score: 0.76322985Amount 0.76322985
Unit 1
-Amount
+.76322985
 Unit
@@ Property / Recommended article: Q5711876 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Reverse-engineering reverse mathematics
@@ Property / Recommended article: Reverse-engineering reverse mathematics / rank @@
+Normal rank
+Similarity Score: 0.76069444Amount 0.76069444
Unit 1
-Amount
+.76069444
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Non‐standard Analysis in WKL<sub>0</sub>
+Normal rank
+Similarity Score: 0.7453175Amount 0.7453175
Unit 1
-Amount
+.7453175
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The Dirac delta function in two settings of reverse mathematics
+Normal rank
+Similarity Score: 0.7252267Amount 0.7252267
Unit 1
-Amount
+.7252267
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A functional interpretation for nonstandard arithmetic
+Normal rank
+Similarity Score: 0.71759135Amount 0.71759135
Unit 1
-Amount
+.71759135
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis
+Normal rank
+Similarity Score: 0.7154596Amount 0.7154596
Unit 1
-Amount
+.7154596
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Dispensing with the continuum
@@ Property / Recommended article: Dispensing with the continuum / rank @@
+Normal rank
@@ Property / Recommended article: Dispensing with the continuum / qualifier @@
+Similarity Score: 0.71255106Amount 0.71255106
Unit 1
-Amount
+.71255106
 Unit
@@ Property / Recommended article: Dispensing with the continuum / qualifier @@
+Recommender Run: Recommender Run 2