Completion of premetric spaces
classification
🧮 math.LO
keywords
premetricchoicecompletingcompletionconstructivecontextcountableintroduced
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.