SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS

Yair Hayut, Menachem Magidor

Research output: Contribution to journalArticlepeer-review

1 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 languageAmerican English
Pages (from-to)1111-1129
Number of pages19
JournalJournal of Symbolic Logic
Volume87
Issue number3
DOIs
StatePublished - 4 Sep 2022

Bibliographical note

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

Keywords

  • strong tree property
  • supercompact cardinals
  • type omission

Fingerprint

Dive into the research topics of 'SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS'. Together they form a unique fingerprint.

Cite this