The anti‐Specker property, positivity, and total boundedness
Douglas Bridges, Hannes Diener · Mathematical logic quarterly · 2010
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, Weinheim)