Subcompact cardinals, type omission and ladder systems
Abstract
We provide a model theoretical and tree property like characterization of λ-11-subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.
0