collaborators

9 papers

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.LO2025

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})=\mathr…

math.LO2025

Separating cardinal characteristics of the strong measure zero ideal

Jörg Brendle, Miguel A. Cardona, Diego A. Mejía

Let be the -ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal…

math.LO2025

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 201…

math.LO2025

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 appl…

math.PR2025

Probability Trees

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

In this article, we introduce a formal definition of the concept of probability tree and conduct a detailed and comprehensive study of its fundamental structural properties. In par…