存在 Jech-Kunen 树但不存在 Kurepa 树的模型
逻辑
2016-09-06 v1
摘要
所谓 ω_1-树是指势为 ω_1 且高度为 ω_1 的树。若一棵 ω_1-树对某个严格介于 ω_1 与 2^{ω_1} 之间的 κ 具有 κ 条分支,则称其为 Jech-Kunen 树。本文构造了 CH 加上 2^{ω_1} > ω_2 的模型,其中存在 Jech-Kunen 树且不存在 Kurepa 树。
引用
@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}
}