The first omitting cardinal for Magidority

Abstract

We prove that ${\alpha }_M(\lambda )$ can be successor of a supercompact cardinal, when $\lambda$ is a Magidor cardinal. From this result we obtain the consistency of ${\alpha }_M(\lambda )$ being a successor of a singular cardinal with uncountable cofinality.

References in corpus (2)

• On the verge of inconsistency: Magidor cardinals and Magidor filters
• Magidor cardinals

Cited by in corpus (1)

• Dowker filters and Magidor forcing