Generalising compactness

DOI10.1002/malq.200710041zbMath1136.03040OpenAlexW4230735470MaRDI QIDQ5448615

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

compactnessconstructive mathematicsapartness spaces

Mathematics Subject Classification ID

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

Related Items (1)

Compactness notions for an apartness space

Cites Work

• Quasi-apartness and neighbourhood spaces
• Unnamed Item

This page was built for publication: Generalising compactness