A Sacks indestructible co-analytic maximal eventually different family
Volume 252 / 2021
Fundamenta Mathematicae 252 (2021), 179-201
MSC: 03E17, 03E35.
DOI: 10.4064/fm842-1-2020
Published online: 15 April 2020
Abstract
In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb N $ to $\mathbb N $ (also known as a med family, or a mad family of functions) which remains maximal after forcing with a countably supported iteration or product (of arbitrary length) of Sacks forcing.
