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 δhas the tree property then δ^{+K} = δ^+ and δis weakly compact in K.
Connections
Explore this paper’s authors, topics and related work.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Reviews 0
Write a review
No reviews yet.
Discussion 0
Add a comment
No comments yet.