Cargando…

Towers, mad families, and unboundedness

We show that Hechler’s forcings for adding a tower and for adding a mad family can be represented as finite support iterations of Mathias forcings with respect to filters and that these filters are [Formula: see text] -Canjar for any countably directed unbounded family [Formula: see text] of the gro...

Descripción completa

Detalles Bibliográficos
Autores principales: Fischer, Vera, Koelbing, Marlene, Wohofsky, Wolfgang
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2023
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10227169/
https://www.ncbi.nlm.nih.gov/pubmed/37260528
http://dx.doi.org/10.1007/s00153-023-00861-x
Descripción
Sumario:We show that Hechler’s forcings for adding a tower and for adding a mad family can be represented as finite support iterations of Mathias forcings with respect to filters and that these filters are [Formula: see text] -Canjar for any countably directed unbounded family [Formula: see text] of the ground model. In particular, they preserve the unboundedness of any unbounded scale of the ground model. Moreover, we show that [Formula: see text] in every extension by the above forcing notions.