Can a small forcing create Kurepa trees?

Details Can a small forcing create Kurepa trees? Can a small forcing create Kurepa trees?

1995-04-15

arxiv.org/abs/math/9504220v1

Ann. Pure Appl. Logic 85 (1997), 47--68

Mathematics

Logic

Scientific paper

In the paper we probe the possibilities of creating a Kurepa tree in a generic extension of a model of CH plus no Kurepa trees by an omega_1-preserving forcing notion of size at most omega_1. In the first section we show that in the Levy model obtained by collapsing all cardinals between omega_1 and a strongly inaccessible cardinal by forcing with a countable support Levy collapsing order many omega_1-preserving forcing notions of size at most omega_1 including all omega-proper forcing notions and some proper but not omega-proper forcing notions of size at most omega_1 do not create Kurepa trees. In the second section we construct a model of CH plus no Kurepa trees, in which there is an omega-distributive Aronszajn tree such that forcing with that Aronszajn tree does create a Kurepa tree in the generic extension. At the end of the paper we ask three questions.

Affiliated with

Also associated with

No associations

Rating

Can a small forcing create Kurepa trees? 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 Can a small forcing create Kurepa trees?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Can a small forcing create Kurepa trees? will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-254174