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:\mathbb{N}\to \mathbb{N}\cup \{\mathbb{N}\}$ and give an exact criterion for when there exists an effectively compact such family.

9 pages. Some small errors corrected

References in corpus (2)

• A Borel maximal cofinitary group
• On Horowitz and Shelah's Borel maximal eventually different family

Cited by in corpus (4)

• Constructing maximal cofinitary groups
• On Horowitz and Shelah's Borel maximal eventually different family
• Tight Eventually Different Families
• The Ramsey property implies no mad families