Brouwer's fan theorem and unique existence in constructive analysis

DOI10.1002/malq.200410038zbMath1079.03059OpenAlexW2134101218MaRDI QIDQ5462988

Hajime Ishihara, Josef Berger

Publication date: 1 August 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410038

zbMATH Keywords

Brouwer's fan theoremunique existenceConstructive reverse mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Compact (locally compact) metric spaces (54E45) Second- and higher-order arithmetic and fragments (03F35)

Related Items (18)

Constructing local optima on a compact interval ⋮ Realizability Models Separating Various Fan Theorems ⋮ König's lemma, weak König's lemma, and the decidable fan theorem ⋮ Brouwer's fixed point theorem with isolated fixed points and his fan theorem ⋮ Constructing the minimal period of homomorphisms into \(\mathbb R^n\) ⋮ Convexity and unique minimum points ⋮ The binary expansion and the intermediate value theorem in constructive reverse mathematics ⋮ Some axioms for constructive analysis ⋮ ASYMPTOTIC BEHAVIOR OF THE SOLUTIONS OF DIFFERENCE EQUATION SYSTEM OF EXPONENTIAL FORM ⋮ Continuous homomorphisms of R onto a compact group ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ A fan-theoretic equivalent of the antithesis of Specker's theorem ⋮ BROUWER’S FAN THEOREM AND CONVEXITY ⋮ Toward a clarity of the extreme value theorem ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Continuity and Lipschitz constants for projections ⋮ An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis ⋮ Bishop-Style Constructive Reverse Mathematics

This page was built for publication: Brouwer's fan theorem and unique existence in constructive analysis