Subcompact cardinals, type omission and ladder systems

DOI10.1017/JSL.2022.11zbMATH Open1507.03104arXiv2003.02589MaRDI QIDQ6336173

Yair Hayut, Menachem Magidor

Publication date: 5 March 2020

Abstract: We provide a model theoretical and tree property like characterization of $lambda$-$P{i}_1^1$-subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

This page was built for publication: Subcompact cardinals, type omission and ladder systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6336173)