solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看5455次
$L(\mathbb{R})$ with Determinacy Satisfies the Suslin Hypothesis. (arXiv:1803.08201v1 [math.LO])
来源于:arXiv
The Suslin hypothesis states that there are no nonseparable complete dense
linear orderings without endpoints which have the countable chain condition.
$\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin
hypothesis. In particular, if $L(\mathbb{R}) \models \mathsf{AD}$, then
$L(\mathbb{R})$ satisfies the Suslin hypothesis, which answers a question of
Foreman. 查看全文>>