Inner model L (Gödel)

Constructible universe L = ∪_α L_α defined by restricted power set. L ⊨ GCH + AC + V=L. Core models extend to large-cardinal-compatible V.