Bridges, Douglas S.

Inheriting the anti-Specker property

Doc. Math., J. DMV 15, 973-980 (2010)

Summary

Summary: 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.

Mathematics Subject Classification

03F60, 54E35, 54E45

Keywords/Phrases

constructive, anti-Specker property, BD

Downloads