Translator Disclaimer
March 2013 On the failure of BD-$\mathbb{N}$ and BD, and an application to the anti-Specker property
Robert S. Lubarsky
J. Symbolic Logic 78(1): 39-56 (March 2013). DOI: 10.2178/jsl.7801030

Abstract

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

Citation

Download Citation

Robert S. Lubarsky. "On the failure of BD-$\mathbb{N}$ and BD, and an application to the anti-Specker property." J. Symbolic Logic 78 (1) 39 - 56, March 2013. https://doi.org/10.2178/jsl.7801030

Information

Published: March 2013
First available in Project Euclid: 23 January 2013

zbMATH: 1278.03089
MathSciNet: MR3087060
Digital Object Identifier: 10.2178/jsl.7801030

Subjects:
Primary: 03F60, 26E40

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
18 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.78 • No. 1 • March 2013
Back to Top