Constructible Universe - What Is L?

What Is L?

L can be thought of as being built in "stages" resembling the von Neumann universe, V. The stages are indexed by ordinals. In von Neumann's universe, at a successor stage, one takes Vα+1 to be the set of ALL subsets of the previous stage, Vα. By contrast, in Gödel's constructible universe L, one uses only those subsets of the previous stage that are:

  • definable by a formula in the formal language of set theory
  • with parameters from the previous stage and
  • with the quantifiers interpreted to range over the previous stage.

By limiting oneself to sets defined only in terms of what has already been constructed, one ensures that the resulting sets will be constructed in a way that is independent of the peculiarities of the surrounding model of set theory and contained in any such model.

Define

\begin{align} \text{Def}(X) := & \Bigl\{ \{y \mid y\in X \text{ and } \Phi(y,z_1,\ldots,z_n) \text{ is true in }(X,\in)\} \mid \\ & \qquad \Phi \text{ is a first order formula and } z_1,\ldots,z_n\in X\Bigr\}. \end{align}

L is defined by transfinite recursion as follows:

  • If is a limit ordinal, then .
  • .

If z is an element of Lα, then z = {y | y ∈ Lα and y ∈ z} ∈ Def (Lα) = Lα+1. So Lα is a subset of Lα+1 which is a subset of the power set of Lα. Consequently, this is a tower of nested transitive sets. But L itself is a proper class.

The elements of L are called "constructible" sets; and L itself is the "constructible universe". The "axiom of constructibility", aka "V=L", says that every set (of V) is constructible, i.e. in L.

Read more about this topic:  Constructible Universe

Famous quotes related to what is l?:

    “What is it then between us?
    What is the count of the scores or hundreds of years between us?

    Whatever it is, it avails not—distance avails not, and
    place avails not,”
    —Walt Whitman (1819–1892)

    “... by desiring what is perfectly good, even when we don’t quite know what it is and cannot do what we would, we are part of the divine power against evil—widening the skirts of light and making the struggle with darkness narrower.”
    —George Eliot [Mary Ann (or Marian)

    “To be sure, we have inherited abilities, but our development we owe to thousands of influences coming from the world around us from which we appropriate what we can and what is suitable to us.”
    —Johann Wolfgang Von Goethe (1749–1832)

    “Self-centeredness is a natural outgrowth of one of the toddler’s major concerns: What is me and what is mine...? This is why most toddlers are incapable of sharing ... to a toddler, what’s his is what he can get his hands on.... When something is taken away from him, he feels as though a piece of him—an integral piece—is being torn from him.”
    —Lawrence Balter (20th century)

    “Many have dreamed up republics and principalities that have never in truth been known to exist; the gulf between how one should live and how one does live is so wide that that a man who neglects what is actually done for what should be done learns the way to self-destruction rather than self-preservation.”
    —Niccolò Machiavelli (1469–1527)