Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Kasum, Obrad"'
Autor:
Kasum, Obrad, Sargsyan, Grigor
We present an $L$-like construction that produces the minimal model of $\mathsf{AD}_\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(\mathcal{P}(\mathbb{R}))$ in which the
Externí odkaz:
http://arxiv.org/abs/2409.07156
Autor:
Kasum, Obrad, Veličković, Boban
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 latter case, we also give a general sufficient condition for the existe
Externí odkaz:
http://arxiv.org/abs/2308.08293
Autor:
Kasum, Obrad
We show that in $L(\mathbb{R})$, assuming large cardinals, $\mathsf{HOD} {\parallel}\eta^{+\mathsf{HOD}}$ is locally definable from $\mathsf{HOD} {\parallel}\eta$ for all $\mathsf{HOD}$-cardinals $\eta\in [\boldsymbol{\delta}^2_1,\Theta)$. This is a
Externí odkaz:
http://arxiv.org/abs/2308.01072
Autor:
Kasum, Obrad, Veličković, Boban
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. That paper is concerned with proper forcing. The method was then adj
Externí odkaz:
http://arxiv.org/abs/2303.12565
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2015 IEEE 13th International Symposium on Intelligent Systems & Informatics (SISY); 2015, p117-121, 5p
Publikováno v:
2014 IEEE 12th International Symposium on Intelligent Systems & Informatics (SISY); 2014, p285-288, 4p