Forcing constellations of Cichoń's diagram by using the Tukey order

Miguel A. Cardona,Diego A. Mejía
DOI: https://doi.org/10.48550/arXiv.2203.00615
2022-03-02
Abstract:We use known finite support iteration techniques to present various examples of models where several cardinal characteristics of Cichoń's diagram are pairwise different. We show some simple examples forcing the left-hand side of Cichoń's diagram, and present the technique of restriction to models to force Cichoń's maximum (original from Goldstern, Kellner, Shelah, and the second author). We focus on how the values forced in all the constellations are obtained via the Tukey order.
Logic
What problem does this paper attempt to address?