On the failure of BD-ℕ and BD, and an application to the anti-specker property

DOI10.2178/jsl.7801030zbMath1278.03089arXiv1510.00990OpenAlexW2964083978MaRDI QIDQ4916541

Robert S. Lubarsky

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

zbMATH Keywords

realizabilitytopological modelsconstructive analysisanti-Specker propertyBD-\(\mathbb N\)BD

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (5)

Completeness: when enough is enough ⋮ Intuitionistic sequential compactness? ⋮ Unnamed Item ⋮ On the necessity of some topological spaces ⋮ Bishop-Style Constructive Reverse Mathematics

Cites Work

• Unnamed Item
• 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

This page was built for publication: On the failure of BD-ℕ and BD, and an application to the anti-specker property