中文

Kunen 不相容性定理的新证明

逻辑 2008-02-03 v1

摘要

利用初等 pcf,我们证明不存在 j:VM,j:V\to M, MM 传递, jλ=λ>crit(j),j\lambda =\lambda >crit(j), jλM.j^{\prime \prime}\lambda \in M.

关键词

引用

@article{arxiv.math/9309207,
  title  = {A New Proof of Kunen's Inconsistency},
  author = {Jindřich Zapletal},
  journal= {arXiv preprint arXiv:math/9309207},
  year   = {2008}
}