Omniscience, sequential compactness, and the anti-Specker property
Douglas Bridges · Logic Journal of IGPL · 2010
Working within Bishop-style constructive mathematics, we derive a number of results relating the nonconstructive LPO and sequential compactness property on the one hand, and the intuitionistically reasonable anti-Specker property on the other.