Skip to main content
MathOverflow

Return to Answer

deleted 104 characters in body
Source Link
Yizheng Zhu
Yizheng Zhu
  • 685
  • 3
  • 11

An upper bound is an ineffable cardinal, which is weaker than $0^\#$. It is in the last few paragraphs of Harrington's paper "Analytic determinacy and $0^\#$": If $\kappa$ is an ineffable cardinal in $L$, $L^{Coll(\omega, <\kappa)}$ is a model of your assumption.

An upper bound is an ineffable cardinal, which is weaker than $0^\#$. It is in the last few paragraphs of Harrington's paper "Analytic determinacy and $0^\#$": If $\kappa$ is an ineffable cardinal in $L$, $L^{Coll(\omega, <\kappa)}$ is a model of your assumption.

An upper bound is an ineffable cardinal, which is weaker than $0^\#$. It is in the last few paragraphs of Harrington's paper "Analytic determinacy and $0^\#$".

Source Link
Yizheng Zhu
Yizheng Zhu
  • 685
  • 3
  • 11

An upper bound is an ineffable cardinal, which is weaker than $0^\#$. It is in the last few paragraphs of Harrington's paper "Analytic determinacy and $0^\#$": If $\kappa$ is an ineffable cardinal in $L$, $L^{Coll(\omega, <\kappa)}$ is a model of your assumption.