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

@@ Property / DOI @@
-.2178/jsl/1245158090
@@ Property / DOI: 10.2178/jsl/1245158090 / 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