The anti-Specker property, positivity, a
✍
Douglas Bridges; Hannes Diener
📂
Article
📅
2010
🏛
John Wiley and Sons
🌐
English
⚖ 109 KB
## Abstract Working within Bishop‐style constructive mathematics, we examine some of the consequences of the anti‐Specker property, known to be equivalent to a version of Brouwer's fan theorem. The work is a contribution to constructive reverse mathematics (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA,