A Sacks indestructible co-analytic maximal eventually different family

Abstract

In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which remains maximal after adding arbitrarily many Sacks reals (by a countably supported iteration or product).

20 pages

References in corpus (4)

• Preserving Preservation
• A Borel maximal cofinitary group
• On Horowitz and Shelah's Borel maximal eventually different family
• Definable discrete sets with large continuum

Cited by in corpus (1)

• Tight Eventually Different Families