Maths›03. Logic and Foundations8.3 Constructible Universe (L)The constructible universe, definable subsets, the hierarchy L_alpha, and the axiom of constructibility.
Maths›03. Logic and Foundations8.4 Consistency ResultsRelative consistency, inner models, constructibility, and the role of consistency results in axiomatic set theory.