Precompact Apartness Spaces

DOI10.2168/LMCS-8(2:15)2012zbMATH Open1241.03071arXiv1205.2931MaRDI QIDQ2895476

Douglas S. Bridges

Publication date: 3 July 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Abstract: We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style constructive framework, and is a contribution to the ongoing development of the constructive theories of apartness and uniformity.

Full work available at URL: https://arxiv.org/abs/1205.2931

zbMATH Keywords

uniformityprecompactnessapartnessconstructive topology

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Uniform structures and generalizations (54E15) Proximity structures and generalizations (54E05)

Related Items (2)

Title not available (Why is that?) ⋮ Pre-Hausdorff and Hausdorff proximity spaces

This page was built for publication: Precompact Apartness Spaces

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