Omniscience, sequential compactness, and the anti-Specker property

DOI10.1093/JIGPAL/JZQ001zbMath1229.03051OpenAlexW2086157351MaRDI QIDQ3081240

Douglas S. Bridges

Publication date: 7 March 2011

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzq001

zbMATH Keywords

constructive mathematicssequential compactnessanti-Specker propertyomiscience principles

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Related Items (4)

Constructive notions of equicontinuity ⋮ Reclassifying the antithesis of Specker's theorem ⋮ The anti-Specker property, positivity, and total boundedness ⋮ Intuitionistic sequential compactness?

This page was built for publication: Omniscience, sequential compactness, and the anti-Specker property