Category
page 1Constructible universe
constructible universe
particular class of sets which can be described entirely in terms of simpler sets
diamond principle
combinatorial principle that there exists a family of sets 𝐴(𝛼)⊆𝛼 for 𝛼<ω₁ such that for any 𝐴⊆ω₁, the set of 𝛼’s with 𝐴∩𝛼=𝐴(𝛼) is stationary in ω₁
axiom of constructibility
assertation that every set is constructible