3 papers
math.LO2021
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…
math.LO2018
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…
math.LO2015
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 .