Inheriting the anti-Specker property
Douglas S. Bridges
Department of Mathematics & Statistics University of Canterbury Private Bag 4800 Christchurch 8140 New Zealand
Abstract
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–980
DOI 10.4171/DM/320