Difference between revisions of "Axiom of constructibility"

From Cantor's Attic
Jump to: navigation, search
(Created page with "{{DISPLAYTITLE: V = L}} $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. ...")
 
(No difference)

Revision as of 04:49, 3 January 2012


$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.