V = L

From Cantor's Attic
Jump to: navigation, search

$V = L$, also known as the axiom of constructibility, is the assertion that the universe of all sets is exactly the universe of all constructible sets. It is minimalistic in the sense that any inner model $M$ of ZF must contain all sets from Gödel's constructible universe $L$. The axiom is compatible with some of the smaller large cardinal notions such as weak compactness but is not compatible with any large cardinal notion implying the existence of $0^{\sharp}$ such as measurability.

    This article is a stub. Please help us to improve Cantor's Attic by adding information.