Obrad Kasum

collaborators

2 papers

math.LO2025

Building Models of Determinacy from Below

Obrad Kasum, Grigor Sargsyan

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

math.LO2024

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…