7 papers
Absoluteness of the Riemann integral
Carlos M. Parra-Londoño, Andrés F. Uribe-Zapata
This article explores the concept of absoluteness in the context of mathematical analysis, focusing specifically on the Riemann integral on . In mathematical logic,…
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…
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…
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…
The intersection number for forcing notions
Andrés F. Uribe-Zapata
Based on works of Saharon Shelah, Jakob Kellner, and Anda Tănasie for controlling the cardinal characteristics of the continuum in ccc forcing extensions, in the author's master's…
Which came first, set theory or logic?
J. Julian Pulgarín, Andrés F. Uribe-Zapata
The construction of first-order logic and set theory gives rise to apparent circularities of mutual dependence, making it unclear which can act as a self-contained starting point i…