Page history
Jump to navigation
Jump to search
9 September 2023
31 August 2023
C7X
→Definition
−71
C7X
→Definition
+7
C7X
→Definition
+31
C7X
How is the reflection principle stated for general cumulative hierarchies?
+19
RhubarbJayde
→Alternate characterisations
+807
RhubarbJayde
→Alternate characterisations
+59
RhubarbJayde
→Alternate characterisations
−3
RhubarbJayde
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..."
+9,127