加载中…
2017-12-11
The iterability hierarchy above I3
Alessandro AndrettaVincenzo Dimonte
文献摘要
In this paper we introduce a new hierarchy of large cardinals between I3 and I2, the iterability hierarchy, and we prove that every step of it strongly implies the ones below.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本