2 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
On Some Infinitary Logics
Jouko Vaananen, Boban Velickovic
We define a new class of infinitary logics generalizing Shelah's logic defined in \cite{MR2869022}. If and is infinite then o…
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…
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.