2 papers
math.LO2026
Bar-recursion and Preservation of Cardinals
Laura Fontanella, Jacopo Furlan
This work presents a transfinite version of the bar-recursion in the context of classical realizability models for set theory. Bar-recursion has been previously used to obtain real…
math.LO2012
Strong Tree Properties at Successors of Singular Cardinals
Laura Fontanella
We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree…