A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611): Difference between revisions

@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's fan theorem and unique existence in constructive analysis
+Normal rank
@@ Property / cites work @@
+The fan theorem and unique existence of maxima
@@ Property / cites work: The fan theorem and unique existence of maxima / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in constructive Banach algebra theory
@@ Property / cites work: Ideals in constructive Banach algebra theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalents of the (weak) fan theorem
@@ Property / cites work: Equivalents of the (weak) fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank