Completion of premetric spaces
arXiv:1808.01663
Abstract
We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice.
arXiv:1808.01663
We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice.