The anti-Specker property, uniform sequential continuity, and a countable compactness property

DOI10.1093/JIGPAL/JZQ039zbMath1229.03052OpenAlexW2048547942MaRDI QIDQ3081247

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/jzq039

zbMATH Keywords

constructive anti-Specker propertypointwise continuousuniformly sequentially continuous

Mathematics Subject Classification ID

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

Related Items (1)

Intuitionistic sequential compactness?

This page was built for publication: The anti-Specker property, uniform sequential continuity, and a countable compactness property