Connected choice and the Brouwer fixed point theorem (Q5223123): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4809
@@ Property / arXiv ID: 1206.4809 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes
+Normal rank
@@ Property / cites work @@
+Q4277838
@@ Property / cites work: Q4277838 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable invariance
@@ Property / cites work: Computable invariance / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Closed choice and a uniform low basis theorem
@@ Property / cites work: Closed choice and a uniform low basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Borel Complexity of Topological Operations on Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+The Vitali Covering Theorem in the Weihrauch Lattice
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+On the uniform computational content of computability theory
+Normal rank
@@ Property / cites work @@
+On the uniform computational content of the Baire category theorem
+Normal rank
@@ Property / cites work @@
+The Brouwer Fixed Point Theorem Revisited
@@ Property / cites work: The Brouwer Fixed Point Theorem Revisited / rank @@
+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 @@
+Computability on subsets of Euclidean space. I: Closed and compact subsets
+Normal rank
@@ Property / cites work @@
+An intuitionist correction of the fixed-point theorem on the sphere
+Normal rank
@@ Property / cites work @@
+Countable thin \(\Pi^0_1\) classes
@@ Property / cites work: Countable thin \(\Pi^0_1\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
+Normal rank
@@ Property / cites work @@
+Computability and Representations of the Zero Set
@@ Property / cites work: Computability and Representations of the Zero Set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+An effective Riemann Mapping Theorem
@@ Property / cites work: An effective Riemann Mapping Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of the Radon-Nikodym Derivative
@@ Property / cites work: Computability of the Radon-Nikodym Derivative / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639062
@@ Property / cites work: Q3639062 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational homology
@@ Property / cites work: Computational homology / rank @@
+Normal rank
@@ Property / cites work @@
+Incomputability of Simply Connected Planar Continua
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite choice, convex choice and finding roots
@@ Property / cites work: Finite choice, convex choice and finding roots / rank @@
+Normal rank
@@ Property / cites work @@
+Singular coverings and non‐uniform notions of closed set computability
+Normal rank
@@ Property / cites work @@
+Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
+Normal rank
@@ Property / cites work @@
+Q5608010
@@ Property / cites work: Q5608010 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075220
@@ Property / cites work: Q3075220 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-computability of competitive equilibrium
@@ Property / cites work: Non-computability of competitive equilibrium / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422786
@@ Property / cites work: Q4422786 / 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 @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1502819508
@@ Property / OpenAlex ID: W1502819508 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128896781
@@ Property / Wikidata QID: Q128896781 / rank @@
+Normal rank