The anti-Specker property, a Heine-Borel property, and uniform continuity
From MaRDI portal
Publication:926186
DOI10.1007/S00153-007-0063-1zbMath1143.03031OpenAlexW1976398594MaRDI QIDQ926186
Josef Berger, Douglas S. Bridges
Publication date: 26 May 2008
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-007-0063-1
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)
Related Items (7)
On the constructive notion of closure maps ⋮ Constructive notions of equicontinuity ⋮ Reclassifying the antithesis of Specker's theorem ⋮ On the failure of BD-ℕ and BD, and an application to the anti-specker property ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ The Dedekind reals in abstract Stone duality ⋮ Principles Weaker than BD-N
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Equivalents of the (weak) fan theorem
- Techniques of constructive analysis
- A uniformly continuous function on [0,1 that is everywhere different from its infimum]
- Constructivism in mathematics. An introduction. Volume II
- Set theoretic foundations for constructive analysis
- From Brouwerian counter examples to the creating subject
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- Compactness under constructive scrutiny
- Constructive set theory
- A Weak Constructive Sequential Compactness Property and the Fan Theorem
- Nicht konstruktiv beweisbare Sätze der Analysis
- Logical Approaches to Computational Barriers
This page was built for publication: The anti-Specker property, a Heine-Borel property, and uniform continuity
