Skip to main content
3 of 8
added 976 characters in body
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

It is consistent that the answer is no:

Let $V=L[U],$ where $U$ is a normal measure on a measurable cardinal $\kappa.$ First note that we can apply Prikry forcing over $V$ to change the cofinality of $\kappa$ to $\omega.$

Now we show that there is no forcing of size $\kappa$ changing the cofinality of $\kappa.$ Suppose not. Let $P$ be such a forcing notion and let $G$ be $P-$generic over $V$. By Dodd-Jensen covering theorem for $L[U],$ there exists an $\omega-$sequence $C\in V[G]$ cofinal in $\kappa$ which is a Prikry sequence for the classical Prikry forcing $P_U$ in $V$ and $V[G]$ is covered by $V[C]$. Then $V[C]\subset V[G],$ and we have $P_U$ is a projection of $P$, so $P$ has size $>\kappa.$

It is also consistent that the answer is yes:

Start with a supercompact cardinal $\kappa$ such that if $P=Col(\kappa, \kappa^{++})$, and $G$ is $P$-generic over $V$, then there is a $\lambda-$supercompact embedding $j: V \rightarrow M,$ for some $\lambda>>\kappa$ which extends to some elementary embedding $j^*:V[G] \rightarrow M[j(G)]$ (using Laver indestrucitibility techniques).

Let $U$ and $U^*$ be normal measure on $\kappa$ derived from $j$ and $j^*$ respectively and let $P_U \in V$ and $P_{U^*}\in V[G]$ be the corresponding Prikry forcings. Note that $P_U=P_{U^*} \cap V.$ Let $H^*$ be $P_{U^*}-$generic over $V[G]$ and let $H=H^*\cap V.$ It is easily seen that $H$ is $P_U$-generic over $V$. Now note that $V[G\times H]\subset V[G*H^*],$ so $\kappa$ remains a cardinal in $V[G\times H]$. Let $V^*=V[G].$ Then $P_U\in V^*$ has size $\kappa$ (since $(\kappa^{++})^V$ is collapset to $\kappa$ in $V^*$) and it changes the cofinality of $\kappa$ to $\omega$ without collapsing $\kappa$ (or any smaller cardinals).

Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198