Constructive notions of equicontinuity
From MaRDI portal
Publication:2391094
DOI10.1007/S00153-009-0131-9zbMath1173.03047OpenAlexW1978174826MaRDI QIDQ2391094
Publication date: 24 July 2009
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-009-0131-9
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (7)
On the constructive notion of closure maps ⋮ The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma ⋮ Z-stability in Constructive Analysis ⋮ On the failure of BD-ℕ and BD, and an application to the anti-specker property ⋮ The anti-Specker property, positivity, and total boundedness ⋮ Intuitionistic sequential compactness? ⋮ Principles Weaker than BD-N
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Equivalents of the (weak) fan theorem
- Techniques of constructive analysis
- The anti-Specker property, a Heine-Borel property, and uniform continuity
- Sequences of real functions on [0,1 in constructive reverse mathematics]
- Set theoretic foundations for constructive analysis
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- Strong continuity implies uniform sequential continuity
- Omniscience, sequential compactness, and the anti-Specker property
- A decomposition of Brouwer’s fan theorem
- The anti-Specker property, positivity, and total boundedness
- Continuity properties in constructive mathematics
- Constructive set theory
- Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem
- A constructive look at the completeness of the space (ℝ)
- The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem]
- Nicht konstruktiv beweisbare Sätze der Analysis
This page was built for publication: Constructive notions of equicontinuity