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...
Autores principales: | , , |
---|---|
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 |
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. |
---|