On Horowitz and Shelah's Borel maximal eventually different family

Abstract

We show there is a closed (in fact effectively closed, i.e., ${\Pi }_1^0$) eventually different family (working in ZF or less).

7 pages. Some small errors corrected

References in corpus (2)

• A Borel maximal cofinitary group
• Compactness of maximal eventually different families

Cited by in corpus (5)

• A co-analytic Cohen indestructible maximal cofinitary group
• Compactness of maximal eventually different families
• A Sacks indestructible co-analytic maximal eventually different family
• Constructing maximal cofinitary groups
• Maximal discrete sets