Weak covering and the tree property
Logic
2016-09-07 v1
Abstract
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.
Keywords
Cite
@article{arxiv.math/9706205,
title = {Weak covering and the tree property},
author = {Ralf Schindler},
journal= {arXiv preprint arXiv:math/9706205},
year = {2016}
}