Try again. Fail again. Fail better.

I am still unable to fix the mistake in the paper in the previous post.

The method in that paper ends up with a “limit model of $\mathrm{HOD}^{L[x]}$” whose Woodin cardinal is $u_{\omega}$. Therefore, this “limit model” up to its Woodin is “obviously” $L_{u_\omega}[\mathcal{O}_{\Sigma^1_3}]$ (cf. Iterates of $M_1$), but I don’t see why. Maybe it’s just as hard as computing $\mathrm{HOD}^{L[x]}$.

test with formula in title $x^3 + y^3 = z^3$

write a post

An inline formula is $(M_1^{\#})^{\mathcal{N}}$.

Code:
1
An inline formula is $(M_1^{\{% raw %}#{% endraw %}})^{\mathcal{N}}$.

A block formula is

Code:
1
2
3
4
A block formula is
$$
G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8 \pi G}{c^4} T_{\mu\nu}.
$$

A hyperlink to Google

Code:
1
A <a href="http://google.com">hyperlink to Google</a>

A blockquote

Definition. A cardinal $\delta$ is a Woodin cardinal iff for all $A \subseteq V_{\delta}$ there is $\kappa < \delta$ such that $\kappa$ is $< \delta$-$A$-strong.
Code:
1
2
3
4
A blockquote
<blockquote>
<bold>Definition.</bold> A cardinal $\delta$ is a <it>Woodin cardinal</it> iff for all $A \subseteq V_{\delta}$ there is $\kappa < \delta$ such that $\kappa$ is $< \delta$-$A$-strong.
</blockquote>

An old 2048 game extended
(Disclaimer: I am not responsible for your wasted time on this game!)