Mar 5, 2020 · Abstract:We provide a model theoretical and tree property like characterization of \lambda-\Pi^1_1-subcompactness and supercompactness.

Feb 4, 2022 · A cardinal $\kappa $ is subcompact if it is $\kappa ^+$ -subcompact. In the context of $\textrm{GCH}$ , one can easily verify that if $\kappa $ ...

Feb 2, 2022 · We expect that during the steps of those hierarchies, one would be able to move. Page 3. SUBCOMPACT CARDINALS, TYPE OMISSION AND LADDER SYSTEMS.

We provide a model theoretical and tree property like characterization of $\lambda$-$\Pi^1_1$-subcompactness and supercompactness. We explore the behaviour ...

ArticlePDF Available. SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS. February 2022; Journal of Symbolic Logic 87(3):1111-1129. DOI:10.1017/jsl.2022.11.

Sep 4, 2022 · We provide a model theoretical and tree property-like characterization of λ-Π11-subcompactness and supercompactness.

Mar 5, 2020 · Supercompact cardinals are the normal version of the strongly compact cardinals. They are obtained by adding a normality.

Mar 5, 2020 · We provide a model theoretical and tree property like characterization of λ - Π 1 1 -subcompactness and supercompactness.

[해외논문] SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS 원문보기. The Journal of symbolic logic, v.87 no.3, 2022년, pp.1111 - 1129. HAYUT, YAIR ...

Answering a question of A. Kanamori, we prove that there is no Jónsson filter over the least Jónsson cardinal. We also notice that, assuming □κ, the successor ...