Generic Selective Independent Families

arXiv2306.09809MaRDI QIDQ6440530FDOQ6440530

Corey Bacal Switzer, Vera Fischer

Publication date: 16 June 2023

Abstract: We prove that the generic maximal independent family obtained by iteratively forcing with the Mathias forcing relative to diagonalization filters is densely maximal. Moreover, by choosing the filters with some care one can ensure the family is selective and hence forcing indestructible in a strong sense. Using this we prove that under $mathfrakp=2^{alep{h}_0}$ there are selective independent families and also we show how to add selective independent families of any desired size.

This page was built for publication: Generic Selective Independent Families

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6440530)