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

@@ 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