Essential Kurepa trees versus essential Jech---Kunen trees

Details Essential Kurepa trees versus essential Jech---Kunen trees Essential Kurepa trees versus essential Jech---Kunen trees

1994-01-15

arxiv.org/abs/math/9401217v1

Ann. Pure Appl. Logic 69 (1994), 107--131

Mathematics

Logic

Scientific paper

By an omega_1 --tree we mean a tree of size omega_1 and height omega_1. An omega_1 --tree is called a Kurepa tree if all its levels are countable and it has more than omega_1 branches. An omega_1 --tree is called a Jech--Kunen tree if it has kappa branches for some kappa strictly between omega_1 and 2^{omega_1}. A Kurepa tree is called an essential Kurepa tree if it contains no Jech--Kunen subtrees. A Jech--Kunen tree is called an essential Jech--Kunen tree if it contains no Kurepa subtrees. In this paper we prove that (1) it is consistent with CH and 2^{omega_1}> omega_2 that there exist essential Kurepa trees and there are no essential Jech--Kunen trees, (2) it is consistent with CH and 2^{omega_1}> omega_2 plus the existence of a Kurepa tree with 2^{omega_1} branches that there exist essential Jech--Kunen trees and there are no essential Kurepa trees. In the second result we require the existence of a Kurepa tree with 2^{omega_1} branches in order to avoid triviality.

Affiliated with

Also associated with

No associations

Rating

Essential Kurepa trees versus essential Jech---Kunen 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 Essential Kurepa trees versus essential Jech---Kunen trees, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Essential Kurepa trees versus essential Jech---Kunen trees will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-155693