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

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

We 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-ℕ, i...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 2013-03, Vol.78 (1), p.39-56
1. Verfasser: Lubarsky, Robert S.
Format: Artikel
Sprache:eng
Schlagworte:
Anti-Specker
BD-ℕ
Constructive mathematics
Integers
Logic
Mathematical continuity
Mathematical functions
Mathematical logic
Mathematical theorems
Mathematics
Natural numbers
Philosophy
Realizability
topological models
Topological spaces
Topology
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We 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.
ISSN:0022-4812
1943-5886
DOI:10.2178/jsl.7801030