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

Abstract

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.