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 / author @@
-Chris Impens
@@ Property / author: Chris Impens / rank @@
-Normal rank
@@ Property / author @@
+Chris Impens
@@ Property / author: Chris Impens / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1245158090
+Normal rank
@@ Property / OpenAlex ID @@
+W2050587003
@@ Property / OpenAlex ID: W2050587003 / rank @@
+Normal rank
@@ Property / cites work @@
+Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
+Normal rank
@@ Property / cites work @@
+Q4104164
@@ Property / cites work: Q4104164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Dispensing with the continuum
@@ Property / cites work: Dispensing with the continuum / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragment of Nonstandard Analysis with a Finitary Consistency Proof
+Normal rank
@@ Property / cites work @@
+Q4821145
@@ Property / cites work: Q4821145 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfer and a supremum principle for ERNA
@@ Property / cites work: Transfer and a supremum principle for ERNA / 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