paper

Cauchy filters from Pelant's games

arXiv:1310.1808

Abstract

The language of finite games is used to rephrase Pelant's proof of his result: The separable modification of the complete metric space is not complete.

6 pages