nLab
constructible universe

The constructible universe

Definition

Gödel’s constructible universe is a subclass LL of the von Neumann universe VV of well-founded pure sets, defined by transfinite induction? as L= αL αL = \bigcup_\alpha L_\alpha where

L 0=L_0 = \emptyset
L α+1=P(L α)I(L α{L α}) L_{\alpha +1} = P(L_\alpha) \cap I(L_\alpha \cup \{L_\alpha\})

and if α\alpha is a limit ordinal:

L α= β<αL β L_\alpha = \bigcup_{\beta\lt \alpha} L_\beta

Alternatively, we may say that

L α= β<αP(L β)I(L β{L β}) L_\alpha = \bigcup_{\beta \lt \alpha} P(L_\beta) \cap I(L_\beta \cup \{L_\beta\})

for any ordinal α\alpha (00, successor, or limit).

Here, for XX a pure set, by I(X)I(X) we denote the smallest set containing XX and closed with respect to the operations of Cartesian product, set difference, unordered pair, ordered pair, taking the domain of a binary relation, and performing a permutation of an ordered triple.

The elements of the constructible universe are called constructible sets; the idea is similar to the constructible sets in topology and algebraic geometry.

Properties

LL is a transitive big class containing all the ordinals. In fact, it is the smallest transitive model of the set theory containing all the ordinals. On the other hand, the sets in this class can be effectively enumerated by von Neumann ordinals. The question weather LVL\neq V can not be decided in ZF. If LVL\neq V then still we do not know how, without an axiom of choice, to produce specific sets which are not constructible.

The wikipedia entry constructible universe is pretty elaborate.

Revised on September 21, 2012 10:18:34 by Urs Schreiber (82.169.65.155)