18 citations · 28 across the 11 of their papers we have counts for
15 papers
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 . In a…
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…
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…
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 …
Increasing the second uniform indiscernible by strongly ssp forcing
Ben De Bondt, Boban Velickovic
We introduce a new and natural stationary set preserving forcing that (under precipitous + existence of $H_θ^#$ for a sufficiently large…
Games on AF-algebras
Ben De Bondt, Andrea Vaccaro, Boban Velickovic +1
We analyze -algebras, particularly AF-algebras, and their -groups in the context of the infinitary logic . Given two separable unital AF-…
Non-vanishing higher derived limits
Boban Velickovic, Alessandro Vignati
In the study of strong homology Mardešić and Prasolov isolated a certain inverse system of abelian groups indexed by elements of . They showed that if strong homol…
Guessing models and the approachability ideal
Rahman Mohammadpour, Boban Velickovic
Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call holds. This principle implies ${\rm…
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…
PFA and precipitousness of the nonstationary ideal
Boban Velickovic
We apply Neeman's method of forcing with side conditions to show that PFA does not imply the precipitousness of the nonstationary ideal on .
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.
Stationary reflection principles and two cardinal tree properties
Hiroshi Sakai, Boban Velickovic
We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure…
Oscillations and their applications in partition calculus
Laura Fontanella, Boban Velickovic
Oscillations are a powerful tool for building examples of colorings witnessing negative partition relations. We survey several results illustrating the general technique and presen…
A direct proof of the five element basis theorem
Boban Velickovic, Giorgio Venturi
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of notion of saturati…
The complexity of the reals in inner models of set theory
Boban Velickovic, W. Hugh Woodin
The usual definition of the set of constructible reals is . This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Fri…