A non-standard construction of Haar measure and weak König's lemma (Q4953213): Difference between revisions

@@ Property / Wikidata QID @@
+Q124940154
@@ Property / Wikidata QID: Q124940154 / rank @@
+Normal rank
@@ Property / cites work @@
+On a non‐standard construction of haar measure
@@ Property / cites work: On a non‐standard construction of haar measure / rank @@
+Normal rank
@@ Property / cites work @@
+Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theory in weak second-order arithmetic
+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 @@
+Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
+Normal rank
@@ Property / cites work @@
+Riesz representation theorem, Borel measures and subsystems of second- order arithmetic
+Normal rank