Formalizing non-standard arguments in second-order arithmetic (Q3066789): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1286198143
+Normal rank
@@ Property / OpenAlex ID @@
+W2137023255
@@ Property / OpenAlex ID: W2137023255 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing forcing arguments in subsystems of second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Non-standard analysis in ACA0 and Riemann mapping theorem
+Normal rank
@@ Property / cites work @@
+The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Non‐standard Analysis in WKL<sub>0</sub>
@@ Property / cites work: Non‐standard Analysis in WKL<sub>0</sub> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / 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 @@
+Nonstandard Arithmetic and Reverse Mathematics
@@ Property / cites work: Nonstandard Arithmetic and Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank