The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-007-0050-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2025876280
@@ Property / OpenAlex ID: W2025876280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3231796
@@ Property / cites work: Q3231796 / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive Jordan curve theorem
@@ Property / cites work: The constructive Jordan curve theorem / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary geometric nonstandard proof of the Jordan curve theorem
+Normal rank
@@ Property / cites work @@
+Uniformly defined descending sequences of degrees
@@ Property / cites work: Uniformly defined descending sequences of degrees / rank @@
+Normal rank
@@ Property / cites work @@
+A nonstandard proof of the Jordan curve theorem
@@ Property / cites work: A nonstandard proof of the Jordan curve theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On formalization of model-theoretic proofs of Gödel's theorems
+Normal rank
@@ Property / cites work @@
+Q4119824
@@ Property / cites work: Q4119824 / rank @@
+Normal rank
@@ Property / cites work @@
+A nonstandard proof of the Jordan curve theorem
@@ Property / cites work: A nonstandard proof of the Jordan curve theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theory in weak second-order arithmetic
+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 @@
+Q4220572
@@ Property / cites work: Q4220572 / 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 @@
+The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
+Normal rank
@@ Property / cites work @@
+A non-standard construction of Haar measure and weak König's lemma
+Normal rank
@@ Property / cites work @@
+A Proof of the Jordan Curve Theorem
@@ Property / cites work: A Proof of the Jordan Curve Theorem / rank @@
+Normal rank