The maximality of the core model

Details The maximality of the core model The maximality of the core model

1997-02-18

arxiv.org/abs/math/9702206v1

Mathematics

Logic

Scientific paper

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K computes successors of weakly compact cardinals correctly. o K^c is an iterate of K. o (with Mitchell) If alpha is a cardinal > aleph_1, then K-restriction-alpha is universal for mice of height alpha. Other results in this paper, when combined with work of Woodin, imply: o If square-kappa-finite fails and kappa is a singular, strong limit cardinal, then Inductive Determinacy holds. o If square-kappa-finite fails and kappa is a weakly compact cardinal, then L(R)-determinacy holds.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-395816