The core model for almost linear iterations

Details The core model for almost linear iterations The core model for almost linear iterations

2000-02-11

arxiv.org/abs/math/0002089v3

Mathematics

Logic

80 pages

Scientific paper

We introduce 0^h (0^handgrenade) as a sharp for an inner model with a proper class of strong cardinals. If 0^h does not exist then any normal iteration tree is "almost linear." We exploit this fact to prove the existence of the core model K in the theory "ZFC + 0^h does not exist." (As of today, non-0^h is thereby the weakest anti large cardinal assumption under which K can be shown to exist in ZFC. In this sense we improve earlier work of Dodd, Jensen, Mitchell, and - partially - Steel.) We indicate that our paper provides the last step for determining the exact consistency strength of a statement in the Delfino problem list.

Affiliated with

Also associated with

No associations

Rating

The core model for almost linear iterations 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 The core model for almost linear iterations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The core model for almost linear iterations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-482345