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 August 2, 2017 07:48:32 by Tim Porter (2.27.42.101)