Inheriting the anti-Specker property
Douglas S. BridgesDepartment of Mathematics & Statistics University of Canterbury Private Bag 4800 Christchurch 8140 New Zealand
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- comes into play in the discussion of products with the anti-Specker property.
Cite this article
Douglas S. Bridges, Inheriting the anti-Specker property. Doc. Math. 15 (2010), pp. 973–980DOI 10.4171/DM/320