2 papers
math.LO2025
Adding cofinal countable sequences through multiple regular cardinals by ssp forcing
Ben De Bondt, Boban Velickovic
We present a direct construction of stationary set preserving forcings that make -cofinal all the members of some arbitrary set of regular cardinals . I…
math.LO2024
On Indestructible Strongly Guessing Models
Rahman Mohammadpour, Boban Velickovic
In \cite{MV} we defined and proved the consistency of the principle which implies that many consequences of strong forcing axioms hold simultaneously at $Ï…