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

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Other literature type 01 Mar 2013Embargo end date: 01 Jan 2015 English Publisher:Cambridge University Press (CUP)Journal:The Journal of Symbolic Logic, volume 78, pages 39-56 (issn: 0022-4812, eissn: 1943-5886,

Copyright policy )

Authors: Lubarsky, Robert S.;

doi: 10.2178/jsl.7801030 , 10.48550/arxiv.1510.00990

arXiv: 1510.00990

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

- Summary
- Subjects
- Metrics

Abstract

AbstractWe give the natural topological model for ¬BD-ℕ, and use it to show that the closure of spaces with the anti-Specker property under product does not imply BD-ℕ. Also, the natural topological model for ¬BD is presented. Finally, for some of the realizability models known indirectly to falsify BD-ℕ, it is brought out in detail how BD-ℕ fails.

Related Organizations

Massachusetts Institute of Technology
United States
Florida Atlantic University
United States

Keywords

BD-ࡃ, 03F60, 26E40, realizability, FOS: Mathematics, Anti-Specker, topological models, Mathematics - Logic, Logic (math.LO), BD

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	6
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average