Skip to main content
formatting
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

How to kill a $\Sigma_{n+1}$-correct cardinal softly  (n>1$n>1$)?

edited tags
Link
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k
edited title
Source Link

How to kill a $\Sigma_n$$\Sigma_{n+1}$-correct cardinal softly(n>2n>1)?

A cardinal $\kappa$ is $\Sigma_n$-correct iff $V_\kappa \prec_n V$. For n>1, how to force a $\Sigma_{n+1}$-correct cardinal to be $\Sigma_{n}$-correct but not $\Sigma_{n+1}$-correct?

For $n=1$, we can force GCH below $\kappa$ and then violate GCH at $\kappa$.

If we assume some large cardinals, there are more partial answers, but the general situation is not clear to me.

How to kill a $\Sigma_n$-correct cardinal softly(n>2)?

A cardinal $\kappa$ is $\Sigma_n$-correct iff $V_\kappa \prec_n V$. For n>1, how to force a $\Sigma_{n+1}$-correct cardinal to be $\Sigma_{n}$-correct but not $\Sigma_{n+1}$-correct?

For $n=1$, we can force GCH below $\kappa$ and then violate GCH at $\kappa$.

How to kill a $\Sigma_{n+1}$-correct cardinal softly(n>1)?

A cardinal $\kappa$ is $\Sigma_n$-correct iff $V_\kappa \prec_n V$. For n>1, how to force a $\Sigma_{n+1}$-correct cardinal to be $\Sigma_{n}$-correct but not $\Sigma_{n+1}$-correct?

For $n=1$, we can force GCH below $\kappa$ and then violate GCH at $\kappa$.

If we assume some large cardinals, there are more partial answers, but the general situation is not clear to me.

edited tags
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286
Loading
Source Link
Loading