SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

Autor: YAIR HAYUT, MENACHEM MAGIDOR
Rok vydání: 2022
Předmět:
Zdroj: The Journal of Symbolic Logic. 87:1111-1129
ISSN: 1943-5886
0022-4812
DOI: 10.1017/jsl.2022.11
Popis: We provide a model theoretical and tree property-like characterization of $\lambda $ - $\Pi ^1_1$ -subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.
Databáze: OpenAIRE