Generalizations of the Kunen Inconsistency

Details Generalizations of the Kunen Inconsistency Generalizations of the Kunen Inconsistency

2011-06-10

arxiv.org/abs/1106.1951v1

Mathematics

Logic

40 pages

Scientific paper

We present several generalizations of the well-known Kunen inconsistency that there is no nontrivial elementary embedding from the set-theoretic universe V to itself. For example, there is no elementary embedding from the universe V to a set-forcing extension V[G], or conversely from V[G] to V, or more generally from one ground model of the universe to another, or between any two models that are eventually stationary correct, or from V to HOD, or conversely from HOD to V, or indeed from any definable class to V, among many other possibilities we consider, including generic embeddings, definable embeddings and results not requiring the axiom of choice. We have aimed in this article for a unified presentation that weaves together some previously known unpublished or folklore results, several due to Woodin and others, along with our new contributions.

Affiliated with

Also associated with

No associations

Rating

Generalizations of the Kunen Inconsistency does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Generalizations of the Kunen Inconsistency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generalizations of the Kunen Inconsistency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-319803