How Incomputable is the Separable Hahn-Banach Theorem? (Q4918007): Difference between revisions

@@ Property / cites work @@
+Borel Complexity of Topological Operations on Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Borel complexity and computability of the Hahn-Banach theorem
+Normal rank
@@ Property / cites work @@
+Computability on subsets of metric spaces.
@@ Property / cites work: Computability on subsets of metric spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Computable metrization
@@ Property / cites work: Computable metrization / rank @@
+Normal rank
@@ Property / cites work @@
+Separation and Weak König's Lemma
@@ Property / cites work: Separation and Weak König's Lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848892
@@ Property / cites work: Q5848892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theory in weak second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531998
@@ Property / cites work: Q4531998 / rank @@
+Normal rank