加载中…
Assuming , the canonical inner model with one Woodin cardinal exists, we construct a model in which the nonstationary ideal on is -saturated, -definable with as the only parameter and there is a -definable well-order of the reals. This implies that contrary to the assumption that is -dense, the assumption of being saturated and -definable does not imply any nice structural properties for the projective subsets of the reals.

生成讲解博客的中文版本

生成AI智能校验的中文版本