Generalising compactness

DOI10.1002/MALQ.200710041MaRDI QIDQ5448615zbMATH OpenOpenAlexFDO

Authors Hannes Diener

Publication date 7 March 2008

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710041

zbMATH Keywords

apartness spacescompactnessconstructive mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Compactness (54D30) Proximity structures and generalizations (54E05)

Recommendations

• A constructive function-theoretic approach to topological compactness
• Apartness, compactness and nearness
• Compactness under constructive scrutiny
• Weak compactness in constructive spaces
• Precompact apartness spaces

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• Quasi-apartness and neighbourhood spaces

Cited in

(12)

• A generalization of collapsible cases of circumscription
• Compactness principles for topological vector spaces
• A general compactification for Hausdorff spaces
• Compactness and the Effectivity of Uniformization
• scientific article; zbMATH DE number 4212984 (Why is no real title available?)
• Generalized compactness in linear spaces and its applications
• scientific article; zbMATH DE number 3967415 (Why is no real title available?)
• scientific article; zbMATH DE number 1261955 (Why is no real title available?)
• scientific article; zbMATH DE number 1941463 (Why is no real title available?)
• Compactness notions for an apartness space
• A constructive function-theoretic approach to topological compactness
• scientific article; zbMATH DE number 3892167 (Why is no real title available?)

This page was built for publication: Generalising compactness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448615)