数学联邦政治世界观
超小超大

终极L(数学论文)一 (14-12)

Definition5.1.Suppose that α is a limit ordinal such that α>0,and that〈κᵦ:β<α〉together with a family F of elementary embeddings witness that κ is α-tremendous,with just one embedding in the family F witnessing α-tremendousness for each finite sequence of ordinals less than α.Suppose that,given any ω-sequence of ordinals〈βᵢ:i<ω〉less than α. there is an elementary embedding j:Vλ₊₁ ≺ Vλ₊₁ with critical sequence 〈κᵦᵢ:i<ω〉,obtained by gluing together the obvious ω-sequence of embeddings from F,where λ:=supₙ∈ω κᵦₙ .Then the cardinal κ is said to be α-enormous*.

Definition 5.2.Suppose that a cardinal κ is κ-enormous*.Then κ is said to be hyper-enormous*.

In this section we wish to prove the following theorem.

Theorem 5. is not consistent ωith ZF thαt there exists αn ordinαl λ αnd α non-triυiαl elementαry embedding j:Vλ₊₂ ≺ Vλ₊₂.

Proof.The same reasoning that shows that every I2 cardinal κ has a normal ultrafilter U concentrating on the hyper-tremendous cardinals,also shows in ZF that if κ is a critical point of an elementary embedding

NEW LARGE-CARDINAL AXIOMS AND THE ULTIMATE-L PROGRAM 9

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

成为无限流BOSS后 连载中
成为无限流BOSS后
钱柳_18241220397810052
wait。文案还没修改好。
0.5万字9个月前
猫武士火星疯了 连载中
猫武士火星疯了
柔柔爱睡觉
这是一篇小说,希望你们能鼓励一下我
0.2万字8个月前
火凌飞是雪皇的儿子天羽是冥天的女人火凌飞有五个宠他的哥哥们 连载中
火凌飞是雪皇的儿子天羽是冥天的女人火凌飞有五个宠他的哥哥们
夜凌云和风影
冥王和雪皇争火凌飞
0.9万字8个月前
当笨蛋炮灰拥有盛世美颜 连载中
当笨蛋炮灰拥有盛世美颜
仙鱼亚裔
评论区里有简介.正文里也有简介.唯独作品简介里没有简介.
2.8万字8个月前
报告尊上,您的徒弟入魔了! 连载中
报告尊上,您的徒弟入魔了!
xinglian星随
“报告尊上,您的徒弟入魔了!”“入魔?他本来就是魔怎么入的魔?”
5.1万字8个月前
重生之废材女主她又可以了 连载中
重生之废材女主她又可以了
顾余辞Guyuci
不定期重写
14.9万字8个月前