Author: nLab edit announcer Format: MarkdownItexPage created, but author did not leave any comments.
Anonymous
<a href="https://ncatlab.org/nlab/revision/premetric+space/1">v1</a>, <a href="https://ncatlab.org/nlab/show/premetric+space">current</a>
Page created, but author did not leave any comments.
Author: nLab edit announcer Format: MarkdownItexThe "premetric spaces" introduced by Auke Booij in his thesis [here](https://etheses.bham.ac.uk/id/eprint/10411/7/Booij2020PhD.pdf) are different from the "premetric spaces" introduced by Fred Richman in the article [here](http://math.fau.edu/richman/docs/RealNums.pdf).
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/Booij+premetric+space/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/Booij+premetric+space/7">v7</a>, <a href="https://ncatlab.org/nlab/show/Booij+premetric+space">current</a>
The “premetric spaces” introduced by Auke Booij in his thesis here are different from the “premetric spaces” introduced by Fred Richman in the article here.