The first omitting cardinal for Magidority
classification
🧮 math.LO
keywords
cardinallambdaalphasuccessorcofinalityconsistencyfirstmagidor
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.