arXiv Analytics

Sign in

arXiv:math/9706205 [math.LO]AbstractReferencesReviewsResources

Weak covering and the tree property

Ralf Schindler

Published 1997-06-11Version 1

Suppose that there's no transitive model of ZFC + there's a strong cardinal, and let K denote the core model. It is shown that if \delta has the tree property then \delta^{+K} = \delta^+ and \delta is weakly compact in K.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1907.03142 [math.LO] (Published 2019-07-06)
Indestructibility of the tree property
arXiv:math/0104073 [math.LO] (Published 2001-04-06)
Iterations of V and the core model
arXiv:1907.03737 [math.LO] (Published 2019-07-08)
Easton's theorem for the tree property below aleph_omega

Links

Toolbox