The anti-Specker property, a Heine-Borel property, and uniform continuity

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

zbMATH Keywords

constructive reverse mathematicssequential compactnessSpecker sequence

Mathematics Subject Classification ID

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