加载中…
We isolate a new large cardinal concept, “remarkability.” Consistencywise, remarkable cardinals are between ineffable and omega-Erdos cardinals. They are characterized by the existence of “0^sharp-like” embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L® absoluteness under proper forcings. In particular, said absoluteness does not imply Pi^1_1 determinacy.

生成讲解博客的中文版本

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