PlanetMath:

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

Encyclopedia by subject

03E45 - Mathematical logic and foundations :: Set theory :: Inner models, including constructibility, ordinal definability, and core models

$\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis owned by Henry Levy collapse owned by ratboy proof of $\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis owned by Henry transfinite recursion owned by CWoo well-founded recursion owned by CWoo
Show empty categories:
[ up \| top ]