SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

Yair Hayut; Menachem Magidor

doi:10.1017/jsl.2022.11

SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

Yair Hayut, Menachem Magidor

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

We provide a model theoretical and tree property-like characterization of λ-Π11-subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.

Original language	English
Pages (from-to)	1111-1129
Number of pages	19
Journal	Journal of Symbolic Logic
Volume	87
Issue number	3
DOIs	https://doi.org/10.1017/jsl.2022.11
State	Published - 4 Sep 2022

Bibliographical note

Publisher Copyright:
© 2022 The Author(s). Published by Cambridge University Press.

Keywords

strong tree property
supercompact cardinals
type omission

Access to Document

10.1017/jsl.2022.11

Cite this

@article{a24ece6154c64393afc69a245d5d928b,

title = "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 behavior of these combinatorial principles at accessible cardinals.",

keywords = "strong tree property, supercompact cardinals, type omission",

author = "Yair Hayut and Menachem Magidor",

note = "Publisher Copyright: {\textcopyright} 2022 The Author(s). Published by Cambridge University Press.",

year = "2022",

month = sep,

day = "4",

doi = "10.1017/jsl.2022.11",

language = "אנגלית",

volume = "87",

pages = "1111--1129",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

AU - Hayut, Yair

AU - Magidor, Menachem

PY - 2022/9/4

Y1 - 2022/9/4

N2 - We provide a model theoretical and tree property-like characterization of λ-Π11-subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.

AB - We provide a model theoretical and tree property-like characterization of λ-Π11-subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.

KW - strong tree property

KW - supercompact cardinals

KW - type omission

UR - http://www.scopus.com/inward/record.url?scp=85124658571&partnerID=8YFLogxK

U2 - 10.1017/jsl.2022.11

DO - 10.1017/jsl.2022.11

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85124658571

SN - 0022-4812

VL - 87

SP - 1111

EP - 1129

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 3

ER -

SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this