Fixed point theorems in constructive mathematics
From MaRDI portal
Recommendations
- On constructive versions of the Tychonoff and Schauder fixed point theorems
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
- Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
- Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
Cited in
(17)- On the Proof Theory of Regular Fixed Points
- On constructive versions of the Tychonoff and Schauder fixed point theorems
- A constructive study of Landau's summability theorem
- scientific article; zbMATH DE number 5186437 (Why is no real title available?)
- A General Constructive Intermediate Value Theorem
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
- Two kinds of fixed point theorems and reverse mathematics
- A constructive version of the extremum value theorem for spaces of vector-valued functions
- Constructive reverse investigations into differential equations
- scientific article; zbMATH DE number 3025740 (Why is no real title available?)
- Problems as Solutions
- Bishop-Style Constructive Reverse Mathematics
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- Converses of Bishop's lemma on located sets
- Minima and best approximations in constructive analysis
- An intuitionistic fixed point theory
This page was built for publication: Fixed point theorems in constructive mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145979)
