Localic completion of generalized metric spaces II: Powerlocales

STEVEN VICKERS

The finite powerset of a set. We show that in the presence of a Fintype it is the same as the ordinary powerset, and in the case of ℕ, ℚ, ℝ, ℂ it is not the same.