About

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

history | excerpt history