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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0019-3577(07)00012-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1985626396
@@ Property / OpenAlex ID: W1985626396 / rank @@
+Normal rank