预度量空间的完备化
逻辑
2018-08-07 v1
摘要
我们给出一种完备化预度量空间的方法,该预度量空间是在无可数选择构造性数学背景下由 F. Richman 引入的意义上的。
关键词
引用
@article{arxiv.1808.01663,
title = {Completion of premetric spaces},
author = {Jose Andrés Quintero and Carlos Uzcátegui},
journal= {arXiv preprint arXiv:1808.01663},
year = {2018}
}