Constructible hierarchy: Difference between revisions
Created page with "The constructible hierarchy is a way of "building up" the constructible universe, the smallest ideal model of set theory which contains the ordinals. Therefore, it is important in inner model theory, as well as in the study of \(\alpha\)-recursion theory, stability, Gandy ordinals and reflection principles. == Definition == Say a subset \(X\) of \(Y\) is definable if there are some \(z_0, z_1, \cdots, z_n \i..."
RhubarbJayde (talk | contribs) (Created page with "The constructible hierarchy is a way of "building up" the constructible universe, the smallest ideal model of set theory which contains the ordinals. Therefore, it is important in inner model theory, as well as in the study of \(\alpha\)-recursion theory, stability, Gandy ordinals and reflection principles. == Definition == Say a subset \(X\) of \(Y\) is definable if there are some \(z_0, z_1, \cdots, z_n \i...") |
(No difference)
|