Skip to main content
typo in title
Link
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

If $0^{\sharp}$ exists, then every uncountabeluncountable cardinal in $V$ is as large as it can be in $L$.

Source Link

If $0^{\sharp}$ exists, then every uncountabel cardinal in $V$ is as large as it can be in $L$.

According to Wikipedia, if $0^{\sharp}$ exists, then every uncountable cardinal in $V$ satisfies every large cardinal property in $L$ that can be realized in $L$, e.g. weak compactness, total ineffability, etc. It's easy enough to see why every uncountable in $V$ will be inaccessible, or even Mahlo, in $L$.

How can one see that some of the slightly larger large cardinal properties (e.g. weak compactness, total ineffability, etc.) are satisfied in $L$ by the uncountable cardinals in $V$? Is there a good reference for some of these results?