Pages that link to "Item:Q3145979"
From MaRDI portal
The following pages link to Fixed point theorems in constructive mathematics (Q3145979):
Displaying 11 items.
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity (Q420168) (← links)
- An intuitionistic fixed point theory (Q1386672) (← links)
- Minima and best approximations in constructive analysis (Q3145962) (← links)
- http://logicandanalysis.org/index.php/jla/article/viewFile/114/41 (Q3145965) (← links)
- A General Constructive Intermediate Value Theorem (Q3480038) (← links)
- (Q3590905) (← links)
- On the Proof Theory of Regular Fixed Points (Q3648723) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Two kinds of fixed point theorems and reverse mathematics (Q5108123) (← links)
- On constructive versions of the Tychonoff and Schauder fixed point theorems (Q5198366) (← links)