Compactness of maximal eventually different families
Abstract
We show that there is an effectively closed maximal eventually different family of functions in spaces of the form $\prod_n F(n)$ for $F\colon \mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for when there exists an effectively compact such family.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2017
- DOI:
- 10.48550/arXiv.1704.04751
- arXiv:
- arXiv:1704.04751
- Bibcode:
- 2017arXiv170404751S
- Keywords:
-
- Mathematics - Logic
- E-Print:
- 9 pages. Some small errors corrected