Pages that link to "Item:Q4032642"
From MaRDI portal
The following pages link to Continuity properties in constructive mathematics (Q4032642):
Displayed 25 items.
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity (Q420168) (← links)
- The uniform boundedness theorem and a boundedness principle (Q424547) (← links)
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- Generalized functions with pseudobounded support in constructive mathematics (Q864428) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- On the necessity of some topological spaces (Q2104265) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- Strong continuity implies uniform sequential continuity (Q2573727) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- Continuity properties of preference relations (Q3528140) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- Continuity Properties of Preference Relations (Q4918026) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- (Q5101354) (← links)
- Intuitionistic notions of boundedness in ℕ (Q5505139) (← links)
- Variations on a theme by Ishihara (Q5740670) (← links)
- (Q5856423) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)