Inheriting the Anti-Specker Property
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.
2010 Mathematics Subject Classification: 03F60, 54E35, 54E45
Keywords and Phrases: constructive, anti-Specker property, BD
Full text: dvi.gz 14 k, dvi 30 k, ps.gz 239 k, pdf 106 k.
Home Page of DOCUMENTA MATHEMATICA