SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

被引：2
|
作者：
Hayut, Yair [1 ]
Magidor, Menachem [1 ]
机构：
[1] Hebrew Univ Jerusalem, Einstein Inst Math, Edmond J Safra Campus, IL-9190401 Jerusalem, Israel
来源：
JOURNAL OF SYMBOLIC LOGIC | 2022年 / 87卷 / 03期
关键词：
supercompact cardinals; type omission; strong tree property;
D O I：
10.1017/jsl.2022.11
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：1111 / 1129
页数：19
相关论文
共 50 条
  • [21] PROMOTIONAL LADDER - SYSTEMS VIEW
    DUKES, CW
    PERSONNEL JOURNAL, 1966, 45 (02) : 107 - 107
  • [22] Thienothiophene-centered ladder-type π-systems that feature distinct quinoidal π-extension
    Jiaxiang Guo
    Zeyi Li
    Tianyu Zhang
    Xinyu Tian
    Yue Wang
    Chuandong Dou
    ChineseChemicalLetters, 2024, 35 (05) : 275 - 279
  • [23] Binuclear ladder-type complexes as building blocks for the synthesis of novel polynuclear systems
    Orlova, T. Yu.
    Nekrasov, Yu. S.
    RUSSIAN CHEMICAL BULLETIN, 2010, 59 (05) : 873 - 880
  • [24] Binuclear ladder-type complexes as building blocks for the synthesis of novel polynuclear systems
    T. Yu. Orlova
    Yu. S. Nekrasov
    Russian Chemical Bulletin, 2010, 59 : 873 - 880
  • [25] Fast, Analytical Method for Structured Identification of SISO RC-Ladder-Type Systems
    Hannigan, Brett C.
    Menon, Carlo
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2024, 71 (04) : 2234 - 2238
  • [26] Thienothiophene-centered ladder-type π-systems that feature distinct quinoidal π-extension
    Guo, Jiaxiang
    Li, Zeyi
    Zhang, Tianyu
    Tian, Xinyu
    Wang, Yue
    Dou, Chuandong
    CHINESE CHEMICAL LETTERS, 2024, 35 (05)
  • [27] Linear ladder-type π-conjugated polymers composed of fused thiophene ring systems
    Oyaizu, K
    Iwasaki, T
    Tsukahara, Y
    Tsuchida, E
    MACROMOLECULES, 2004, 37 (04) : 1257 - 1270
  • [28] Genus distribution of ladder type and cross type graphs
    Wan LiangXia
    Feng KeQin
    Liu YanPei
    Wang DianJun
    SCIENCE IN CHINA SERIES A-MATHEMATICS, 2009, 52 (08): : 1760 - 1768
  • [29] Genus distribution of ladder type and cross type graphs
    WAN LiangXia FENG KeQin LIU YanPei WANG DianJun Department of Mathematical Sciences Tsinghua University Beijing China Department of Mathematics Beijing Jiaotong University Beijing China
    ScienceinChina(SeriesA:Mathematics), 2009, 52 (08) : 1760 - 1768
  • [30] Genus distribution of ladder type and cross type graphs
    LiangXia Wan
    KeQin Feng
    YanPei Liu
    DianJun Wang
    Science in China Series A: Mathematics, 2009, 52 : 1760 - 1768
12345