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

@@ Property / author @@
+Chris Impens
@@ Property / author: Chris Impens / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2041829772
@@ Property / OpenAlex ID: W2041829772 / rank @@
+Normal rank
@@ 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