Cauchy filters from Pelant's games

2013/10/07 by Jan Pachl, Pachl, Jan
Computer Science · Mathematics · #46B20 (Secondary) #54E15 (Primary) 28A33 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Functional Analysis (math.FA) #General Topology (math.GN) #Mathematical and Theoretical Analysis #math.FA #math.GN #msc:28A33 #msc:46B20 #msc:54E15

paper · pdf · doi:10.48550/arxiv.1310.1808

6 pages

arxiv created 2013/10/07 · openalex publication_date 2013/10/07 · arxiv updated 2013/10/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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,ω₁]) is not complete.

Related

• Inflated Cauchy Filters - A Way to Construct the Completion of a General Uniform Space
• Sequences suffice for pointfree uniform completions
• A geometric decomposition of finite games: Convergence vs. recurrence under exponential weights
• Topological games and covering dimension
• SPM Bulletin 14