nLab constructible set

Contents

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

Last revised on November 15, 2023 at 09:38:42. See the history of this page for a list of all contributions to it.