About

This tag is for questions about Gödel's constructible universe $L$, and related constructions such as $L[X]$ and $L(X)$.

history | excerpt history