Approximating Integrable Sets by Compacts Constructively


In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. We give a constructive proof of Ulam’s theorem. It is first proved intuitionistically and then, using a logical ‘trick’ due to Ishihara, a proof acceptable in Bishop-style mathematics is obtained. We feel… (More)


Cite this paper

@inproceedings{Spitters2017ApproximatingIS, title={Approximating Integrable Sets by Compacts Constructively}, author={Bas Spitters}, year={2017} }