Transfer and a supremum principle for ERNA (Q3503762): Difference between revisions

@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
+Normal rank
@@ Property / cites work @@
+Q4821145
@@ Property / cites work: Q4821145 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragment of Nonstandard Analysis with a Finitary Consistency Proof
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+Things that can and things that cannot be done in PRA
+Normal rank
@@ Property / cites work @@
+Q4104164
@@ Property / cites work: Q4104164 / rank @@
+Normal rank