两个连续基数的强树性质
逻辑
2011-12-15 v5
摘要
一个不可达基数κ是超紧致的，当且仅当对于所有λ≥κ，(κ, λ)-ITP成立。我们证明，如果存在一个具有两个超紧致基数的ZFC模型，那么存在一个ZFC模型，其中对于所有μ≥ℵ₂和μ'≥ℵ₃，同时有(ℵ₂, μ)-ITP和(ℵ₃, μ')-ITP成立。
引用
@article{arxiv.1110.6736,
title = {Strong tree Properties for two successive cardinals},
author = {Laura Fontanella},
journal= {arXiv preprint arXiv:1110.6736},
year = {2011}
}