The first omitting cardinal for Magidority

Shimon Garti, Yair Hayut

Research output: Contribution to journalArticlepeer-review

Abstract

An infinite cardinal λ is Magidor if and only if (Formula presented.). It is known that if λ is Magidor then (Formula presented.) for some α < λ, and the first such α is denoted by α m (λ). In this paper we try to understand some of the properties of α m (λ). We prove that α m (λ) can be the successor of a supercompact cardinal, when λ is a Magidor cardinal. From this result we obtain the consistency of α m (λ) being a successor of a singular cardinal with uncountable cofinality.

Original languageAmerican English
Pages (from-to)95-104
Number of pages10
JournalMathematical Logic Quarterly
Volume65
Issue number1
DOIs
StatePublished - 1 May 2019
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Logic

Cite this