Nonstandard Arithmetic and Reverse Mathematics (Q5479570): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2134310526
@@ Property / OpenAlex ID: W2134310526 / rank @@
+Normal rank
@@ Property / cites work @@
+The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
+Normal rank
@@ Property / cites work @@
+The strength of nonstandard methods in arithmetic
@@ Property / cites work: The strength of nonstandard methods in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of nonstandard analysis
@@ Property / cites work: On the strength of nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5479570