词条 | Kunen's inconsistency theorem |
释义 |
In set theory, a branch of mathematics, Kunen's inconsistency theorem, proved by {{harvs|txt|first=Kenneth|authorlink=Kenneth Kunen|last=Kunen|year=1971}}, shows that several plausible large cardinal axioms are inconsistent with the axiom of choice. Some consequences of Kunen's theorem (or its proof) are:
It is not known if Kunen's theorem still holds in ZF (ZFC without the axiom of choice), though {{harvtxt|Suzuki|1999}} showed that there is no definable elementary embedding from V into V. That is there is no formula J in the language of set theory such that for some parameter p∈V for all sets x∈V and y∈V: Kunen used Morse–Kelley set theory in his proof. If the proof is re-written to use ZFC, then one must add the assumption that replacement holds for formulas involving j. Otherwise one could not even show that j "λ exists as a set. The forbidden set j "λ is crucial to the proof. The proof first shows that it cannot be in M. The other parts of the theorem are derived from that. It is possible to have models of set theory that have elementary embeddings into themselves, at least if one assumes some mild large cardinal axioms. For example, if 0# exists then there is an elementary embedding from the constructible universe L into itself. This does not contradict Kunen's theorem because if 0# exists then L cannot be the whole universe of sets. See also
References
|last=Kunen|first= Kenneth |title=Elementary embeddings and infinitary combinatorics |journal=Journal of Symbolic Logic |volume=36 |year=1971|pages= 407–413 |doi=10.2307/2269948|jstor=2269948 |mr=0311478 |issue=3}}
1 : Large cardinals |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。