Pages that link to "Item:Q5223123"

The following pages link to Connected choice and the Brouwer fixed point theorem (Q5223123):

Displaying 11 items.

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• On the computability of the set of automorphisms of the unit square (Q2072068) (← links)
• Parallelizations in Weihrauch reducibility and constructive reverse mathematics (Q2106590) (← links)
• Completion of choice (Q2220486) (← links)
• The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable (Q2664935) (← links)
• ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (Q4600456) (← links)
• Computability of Subsets of Metric Spaces (Q5024568) (← links)
• Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
• Separating notions in effective topology (Q6142834) (← links)
• COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
• A new study in Euclid's metric space contraction mapping and Pythagorean right triangle relationship (Q6569219) (← links)