nLab
constructible set

Contents

Idea

Constructible sets are one of the central notions in descriptive set theory?.

Definition

In set theory, a (Gödel) constructible set is any set in a constructible universe, see there.

One can generalize to constructible elements in more general Boolean lattices.

Examples

References

Revised on November 20, 2013 05:45:28 by Urs Schreiber (82.169.114.243)