A general theory of iterated forcing using finitely additive measures
MA Cardona, DA Mejía, AF Uribe-Zapata - arXiv preprint arXiv:2406.09978, 2024 - arxiv.org
Based on the work of Shelah, Kellner, and T\u {a} nasie (Fund. Math., 166 (1-2): 109-136,
2000 and Comment. Math. Univ. Carolin., 60 (1): 61-95, 2019), and the recent developments …
2000 and Comment. Math. Univ. Carolin., 60 (1): 61-95, 2019), and the recent developments …
The measure algebra adding -many random reals is -FAM-linked
DA Mejía, AF Uribe-Zapata - arXiv preprint arXiv:2312.13443, 2023 - arxiv.org
The notion of $\theta $-FAM-linkedness, introduced in the second author's master thesis, is a
formalization of the notion of strong FAM limits for intervals, whose initial form and …
formalization of the notion of strong FAM limits for intervals, whose initial form and …
[PDF][PDF] Iterations Using Finitely Additive Measures: A General Theory
AF Uribe-Zapata - 2024 - researchgate.net
Abstract Saharon Shelah in 2000 (see [6]) introduced a finite-support iteration using finitely
additive measures to prove that, consistently, cov (N) may have countable cofinality. In 2019 …
additive measures to prove that, consistently, cov (N) may have countable cofinality. In 2019 …