...The interplay between intuitionistic mathematics and Bishop-style constructive mathematics is crucial for this chapter's contribution. In locally compact spaces, (Borel-)measurable sets can be approximated by compact sets. Ulam extended this result to complete separable metric spaces. This chapter...