18 citations · 28 across the 11 of their papers we have counts for
Showing 2023 · math.LOShow all
2 papers · 2 filters
math.LO2023
Characterization of
Siiri Kivimaki, Boban Velickovic
The logic was introduced by Shelah in [3]. In [4], he proved that for a strongly compact cardinal , it admits the following algebraic characterization: two stru…
math.LO2023
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 …