arXiv subjects

Douglas S Bridges

Publications and source records attributed to Douglas S Bridges.

2 recordsLinked to original sources

arXiv2026

Locatedness, Convexity, and Measurability in $\mathbb{R}^N$

We prove, within Bishop's constructive framework, stronger forms of two theorems in the author's 1988 paper about the locatedness of certain Lebesgue measurable complemented sets in R^{N}. In doing so, we expand and improve the proofs of several preliminary results on Lebesgue measurability and convexity that are need en route to our main theorems.

math.CA↗

arXiv2012

Precompact Apartness Spaces

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.

cs.LO↗