论文标题
亚型红衣主教，类型遗漏和梯子系统
Subcompact cardinals, type omission and ladder systems
论文作者
论文摘要
我们提供了一个模型的理论和树属性，例如$λ$ - $π^1_1 $ -subcompactness和supercompactness的特征。我们探讨了可访问的红衣主教中这些组合原理的行为。
We provide a model theoretical and tree property like characterization of $λ$-$Π^1_1$-subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.
