ERNA and Friedman's Reverse Mathematics (Q3011124): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2112384787
@@ Property / OpenAlex ID: W2112384787 / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques of constructive analysis
@@ Property / cites work: Techniques of constructive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+More infinity for a better finitism
@@ Property / cites work: More infinity for a better finitism / rank @@
+Normal rank
@@ Property / cites work @@
+The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Fragment of Nonstandard Analysis with a Finitary Consistency Proof
+Normal rank
@@ Property / cites work @@
+Nonstandard Arithmetic and Reverse Mathematics
@@ Property / cites work: Nonstandard Arithmetic and Reverse Mathematics / 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 / cites work @@
+Q3708229
@@ Property / cites work: Q3708229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
+Normal rank
@@ Property / cites work @@
+Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
+Normal rank
@@ Property / cites work @@
+Complex analysis in subsystems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Dispensing with the continuum
@@ Property / cites work: Dispensing with the continuum / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184832
@@ Property / cites work: Q4184832 / rank @@
+Normal rank