A constructive function-theoretic approach to topological compactness

DOI10.1145/2933575.2933582zbMath1394.03076OpenAlexW2531241255MaRDI QIDQ4635921

Iosif Petrakis

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2933575.2933582

zbMATH Keywords

compactnessconstructive topologyBishop spaces

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (6)

Proof-relevance in Bishop-style constructive mathematics ⋮ Direct spectra of Bishop spaces and their limits ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology

This page was built for publication: A constructive function-theoretic approach to topological compactness