2 citations · 2 across the 4 of their papers we have counts for
4 papers
Iterating Semi-proper Forcing using Virtual Models
Obrad Kasum, Boban Veličković
By a virtual model, we mean a model of set theory which is elementary in its transitive closure. Virtual models are first used by Neeman \cite{neeman2014forcing} to iterate forcing…
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…
Ranks of Maharam algebras
Zikica Perovic, Boban Velickovic
Solving a well-known problem of Maharam, Talagrand [17] constructed an exhaustive non uniformly exhaustive submeasure, thus also providing the first example of a Maharam algebra th…
Iteration of Semiproper Forcing Revisited
Boban Velickovic
We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.