Showing 2023 · math.LOShow all
2 papers · 2 filters
math.LO2023
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…
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…