A model in which there are Jech-Kunen trees but there are no Kurepa trees
Logic
2016-09-06 v1
Abstract
By an omega_1 --tree we mean a tree of power omega_1 and height omega_1. We call an omega_1 --tree a Jech--Kunen tree if it has kappa --many branches for some kappa strictly between omega_1 and 2^{omega_1}. In this paper we construct the models of CH plus 2^{omega_1}> omega_2, in which there are Jech--Kunen trees and there are no Kurepa trees.
Cite
@article{arxiv.math/9308218,
title = {A model in which there are Jech-Kunen trees but there are no Kurepa trees},
author = {Renling Jin and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9308218},
year = {2016}
}