Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Stefan Hoffelner"'
Autor:
Stefan Hoffelner
Publikováno v:
Annals of Pure and Applied Logic. :103292
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3aab16c439846e7e48fe97c6fa917864
https://doi.org/10.1016/j.apal.2023.103292
https://doi.org/10.1016/j.apal.2023.103292
Autor:
Stefan Hoffelner
Publikováno v:
The Journal of Symbolic Logic. 86:25-59
We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal$M_1$, there is a model of$\mathsf {ZFC}$in which$\mbox {NS}_{\omega _{1}}$is$\aleph _2$-saturated and${\Delta }_{1}$-definable with$\omega _1$as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::674d836b43a7217ccb17a071982b031f
https://doi.org/10.1017/jsl.2021.23
https://doi.org/10.1017/jsl.2021.23
Autor:
Stefan Hoffelner
Publikováno v:
Journal of Mathematical Logic. 22
We generically construct a model in which the [Formula: see text]-separation property is true, i.e. every pair of disjoint [Formula: see text]-sets can be separated by a [Formula: see text]-definable set. This answers an old question from the problem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cbfb5098a1db01742aef162eca4c1841
https://doi.org/10.1142/s0219061322500088
https://doi.org/10.1142/s0219061322500088
Autor:
Sy-David Friedman, Stefan Hoffelner
Publikováno v:
The Journal of Symbolic Logic. 84:1466-1483
We show that, assuming the existence of the canonical inner model with one Woodin cardinal $M_1 $ , there is a model of $ZFC$ in which the nonstationary ideal on $\omega _1 $ is $\aleph _2 $-saturated and whose reals admit a ${\rm{\Sigma }}_4^1 $-wel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13fae98fbf7788308a76344aae785263
https://doi.org/10.1017/jsl.2019.43
https://doi.org/10.1017/jsl.2019.43