用小近似值特化树 II
摘要：关于一类广为人知的理想在正则基数λ上的存在性，我们展示了一种涉及没有共极分支的高度为λ的树的特化性质的紧致性。我们还使用了Neeman的边际条件方法来展示这类理想的存在性与具有一定数量的适当猜测模型是一致的。这些对象足以推广cite{mhpr_spe}的主定理：可以用一个${<}κ$-闭的，κ⁺-适当的，以及κ⁺⁺-保持的迫使来泛化任何高度为κ⁺⁺的无分支树，该迫使具有κ⁺-逼近性质。
作者：Rahman Mohammadpour
论文ID：2206.00612
分类：Logic
分类简称：math.LO
提交时间：2023-07-19