Anatomy of $\tilde{\mathbb{E}}$
Logic
2024-02-08 v1
Abstract
We present a detailed general framework to describe the forcing , defined by Kellner, Shelah and Tan\u{a}sie to prove the consistency with ZFC of an alternative order of Cicho\'n's maximum. Our presentation is close to the framework of tree-creature forcing notions from Horowitz and Shelah. We show that the posets in this class have strong FAM limits for intervals (in recent terminology, they are -FAM-linked) and, furthermore, that they also have strong ultrafilter limits for intervals.
Keywords
Cite
@article{arxiv.2402.04706,
title = {Anatomy of $\tilde{\mathbb{E}}$},
author = {Diego A. Mejía},
journal= {arXiv preprint arXiv:2402.04706},
year = {2024}
}
Comments
To appear in RIMS K\^oky\^uroku, Kyoto University