𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The anti-Specker property, a Heine–Borel property, and uniform continuity

✍ Scribed by Josef Berger; Douglas Bridges


Publisher
Springer
Year
2007
Tongue
English
Weight
201 KB
Volume
46
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


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,