A Sacks indestructible co-analytic maximal eventually different family
Logic
2022-10-07 v1
Abstract
In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from to which remains maximal after adding arbitrarily many Sacks reals (by a countably supported iteration or product).
Cite
@article{arxiv.1811.05574,
title = {A Sacks indestructible co-analytic maximal eventually different family},
author = {Vera Fischer and David Schrittesser},
journal= {arXiv preprint arXiv:1811.05574},
year = {2022}
}
Comments
20 pages