Inheriting the anti-Specker property
Douglas Bridges · Documenta Mathematica · 2010
The antithesis of Specker's theorem from recursive analysis is further examined from Bishop's constructive viewpoint, with particular attention to its passage to subspaces and products. Ishihara's principle BD- \mathbf N comes into play in the discussion of products with the anti-Specker property.