Constructive notions of equicontinuity
From MaRDI portal
Publication:2391094
DOI10.1007/s00153-009-0131-9zbMath1173.03047MaRDI 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 mathematics; reverse mathematics; fan theorem; anti-Specker property; pseudoboundedness
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
On the failure of BD-ℕ and BD, and an application to the anti-specker property, The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma, Intuitionistic sequential compactness?, Principles Weaker than BD-N, On the constructive notion of closure maps, Z-stability in Constructive Analysis, The anti-Specker property, positivity, and total boundedness
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