Obrad Kasum

collaborators

3 papers

math.LO2024

Building Models of Determinacy from Below

Obrad Kasum, Grigor Sargsyan

We present an $L$ -like construction that produces the minimal model of $AD_{R} +$ " $Θ$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++…

math.LO2023

Marginalia to a Theorem of Asperó and Schindler

Obrad Kasum, Boban Veličković

We give a game-theoretic characterization of when a model of an infinitary propositional formula can be added by a proper, semiproper, and stationary-set-preserving poset. In the l…

math.LO2023

Local Definability of $HOD$ in $L (R)$

Obrad Kasum

We show that in $L (R)$ , assuming large cardinals in $V$ , $HOD ∥ η^{+ HOD}$ is locally definable from $HOD ∥ η$ for all $\mathsf…

Building Models of Determinacy from Below

Marginalia to a Theorem of Asperó and Schindler

Local Definability of HOD in L(R)

Local Definability of $HOD$ in $L (R)$