Pages that link to "Item:Q5462988"
From MaRDI portal
The following pages link to Brouwer's fan theorem and unique existence in constructive analysis (Q5462988):
Displayed 18 items.
- Brouwer's fixed point theorem with isolated fixed points and his fan theorem (Q408490) (← links)
- Constructing the minimal period of homomorphisms into \(\mathbb R^n\) (Q441370) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- Constructing local optima on a compact interval (Q868665) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Convexity and unique minimum points (Q1712926) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis (Q2104258) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- Continuous homomorphisms of R onto a compact group (Q3552396) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- ASYMPTOTIC BEHAVIOR OF THE SOLUTIONS OF DIFFERENCE EQUATION SYSTEM OF EXPONENTIAL FORM (Q5129928) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683) (← links)