Gödel's Constructible Universe, L, is the fundamental example of inner model theory. L was the first inner model, and is the minimal one. One could argue that the point of inner model theory is to build L-like models that do things L cannot.
|
1 | [made Community Wiki] | ||
|
|
||||
