NewEvery arXiv paper, its researchers & institutions — mapped.
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 $C([0,ω_1])$ is not complete.

6 pages