Subcompact cardinals, type omission and ladder systems
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
