activity
20232025
collaborators
Showing math.LOShow all

9 papers · 1 filter

math.LO2025

Finitely additive measures on Boolean algebras

Miguel A. Cardona, Diego A. Mejía, Andrés F. Uribe-Zapata

In this article, we conduct a detailed study of \emph{finitely additive measures} (fams) in the context of Boolean algebras, focusing on three specific topics: freeness and approxi…

math.LO2024

A general theory of iterated forcing using finitely additive measures

Miguel A. Cardona, Diego A. Mejía, Andrés F. Uribe-Zapata

Based on the work of Shelah, Kellner, and Tănasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the thi…

math.LO2024

Anatomy of

Diego A. Mejía

We present a detailed general framework to describe the forcing , defined by Kellner, Shelah and Tanăsie to prove the consistency with ZFC of an alternative ord…

math.LO2024

Forcing techniques for Cichoń's Maximum: Lecture notes for the mini-course at the University of Vienna

Diego A. Mejía

Cichoń's diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010…

math.LO2024

Uniformity numbers of the null-additive and meager-additive ideals

Miguel A. Cardona, Diego A. Mejía, Ismael E. Rivera-Madrid

Denote by and the ideals of null-additive and meager-additive subsets of~, respectively. We prove in ZFC that $\mathrm{add}(\mathcal{NA})=\mathrm…

math.LO2023

The measure algebra adding -many random reals is -FAM-linked

Diego A. Mejía, Andrés F. Uribe-Zapata

The notion of -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 appli…