JournalsdmVol. 15pp. 973–980

Inheriting the anti-Specker property

  • Douglas S. Bridges

    Department of Mathematics & Statistics University of Canterbury Private Bag 4800 Christchurch 8140 New Zealand
Inheriting the anti-Specker property cover
Download PDF

This article is published open access.

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