Skip to main content
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link

I asked this on math.stackexchangemath.stackexchange but did not receive an answer, so I'm asking here.

Assume large cardinals. Can we have $\omega_2^{L(\mathbb{R})}=\omega_2$?

Note that $\omega_1=\omega_1^{L(\mathbb{R})}$ always: clearly $\omega_1\ge\omega_1^{L(\mathbb{R})}$, and since $L(\mathbb{R})$ contains every real, any countable ordinal in $V$ is countable in $L(\mathbb{R})$. Also, note that we can trivially have $\omega_2^{L(\mathbb{R})}<\omega_2$: just force with $Col(\omega_1,\omega_2)$. $L(\mathbb{R})$ doesn't change, but the old $\omega_2$ is collapsed.

As Asaf Karagila pointed out at my MSE question, in general $\omega_n^{L(\mathbb{R})}$ is singular in $L(\mathbb{R})$, and so can't be $\omega_n$. However, this doesn't work for $n=2$: $\omega_2^{L(\mathbb{R})}$ is measurable in $L(\mathbb{R})$.

More generally, I'm curious for what ordinals $\alpha$ we may have $\omega_\alpha=(\omega_\alpha)^{L(\mathbb{R})}$.

I asked this on math.stackexchange but did not receive an answer, so I'm asking here.

Assume large cardinals. Can we have $\omega_2^{L(\mathbb{R})}=\omega_2$?

Note that $\omega_1=\omega_1^{L(\mathbb{R})}$ always: clearly $\omega_1\ge\omega_1^{L(\mathbb{R})}$, and since $L(\mathbb{R})$ contains every real, any countable ordinal in $V$ is countable in $L(\mathbb{R})$. Also, note that we can trivially have $\omega_2^{L(\mathbb{R})}<\omega_2$: just force with $Col(\omega_1,\omega_2)$. $L(\mathbb{R})$ doesn't change, but the old $\omega_2$ is collapsed.

As Asaf Karagila pointed out at my MSE question, in general $\omega_n^{L(\mathbb{R})}$ is singular in $L(\mathbb{R})$, and so can't be $\omega_n$. However, this doesn't work for $n=2$: $\omega_2^{L(\mathbb{R})}$ is measurable in $L(\mathbb{R})$.

More generally, I'm curious for what ordinals $\alpha$ we may have $\omega_\alpha=(\omega_\alpha)^{L(\mathbb{R})}$.

I asked this on math.stackexchange but did not receive an answer, so I'm asking here.

Assume large cardinals. Can we have $\omega_2^{L(\mathbb{R})}=\omega_2$?

Note that $\omega_1=\omega_1^{L(\mathbb{R})}$ always: clearly $\omega_1\ge\omega_1^{L(\mathbb{R})}$, and since $L(\mathbb{R})$ contains every real, any countable ordinal in $V$ is countable in $L(\mathbb{R})$. Also, note that we can trivially have $\omega_2^{L(\mathbb{R})}<\omega_2$: just force with $Col(\omega_1,\omega_2)$. $L(\mathbb{R})$ doesn't change, but the old $\omega_2$ is collapsed.

As Asaf Karagila pointed out at my MSE question, in general $\omega_n^{L(\mathbb{R})}$ is singular in $L(\mathbb{R})$, and so can't be $\omega_n$. However, this doesn't work for $n=2$: $\omega_2^{L(\mathbb{R})}$ is measurable in $L(\mathbb{R})$.

More generally, I'm curious for what ordinals $\alpha$ we may have $\omega_\alpha=(\omega_\alpha)^{L(\mathbb{R})}$.

Source Link
Noah Schweber
  • 20.7k
  • 10
  • 111
  • 332

Cardinal arithmetic in $L(\mathbb{R})$

I asked this on math.stackexchange but did not receive an answer, so I'm asking here.

Assume large cardinals. Can we have $\omega_2^{L(\mathbb{R})}=\omega_2$?

Note that $\omega_1=\omega_1^{L(\mathbb{R})}$ always: clearly $\omega_1\ge\omega_1^{L(\mathbb{R})}$, and since $L(\mathbb{R})$ contains every real, any countable ordinal in $V$ is countable in $L(\mathbb{R})$. Also, note that we can trivially have $\omega_2^{L(\mathbb{R})}<\omega_2$: just force with $Col(\omega_1,\omega_2)$. $L(\mathbb{R})$ doesn't change, but the old $\omega_2$ is collapsed.

As Asaf Karagila pointed out at my MSE question, in general $\omega_n^{L(\mathbb{R})}$ is singular in $L(\mathbb{R})$, and so can't be $\omega_n$. However, this doesn't work for $n=2$: $\omega_2^{L(\mathbb{R})}$ is measurable in $L(\mathbb{R})$.

More generally, I'm curious for what ordinals $\alpha$ we may have $\omega_\alpha=(\omega_\alpha)^{L(\mathbb{R})}$.