On the failure of BD-ℕ and BD, and an application to the anti-specker property
From MaRDI portal
Publication:4916541
DOI10.2178/jsl.7801030zbMath1278.03089arXiv1510.00990MaRDI QIDQ4916541
Publication date: 23 April 2013
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.00990
realizability; topological models; constructive analysis; anti-Specker property; BD-\(\mathbb N\); BD
03F60: Constructive and recursive analysis
Related Items
Unnamed Item, Bishop-Style Constructive Reverse Mathematics, Intuitionistic sequential compactness?, Completeness: when enough is enough
Cites Work
- The anti-Specker property, a Heine-Borel property, and uniform continuity
- On the constructive Dedekind reals
- Constructivism in mathematics. An introduction. Volume I
- Extensional realizability
- Constructive notions of equicontinuity
- Strong continuity implies uniform sequential continuity
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
- A continuity principle, a version of Baire's theorem and a boundedness principle
- Unnamed Item