Jump to navigation Jump to search
Variant relative to a cardinal
Jensen introduced also a local version of the principle. If is an uncountable cardinal, then asserts that there is a sequence satisfying:
- is a club set of .
- If , then
- If is a limit point of then
Jensen proved that this principle holds in the constructible universe for any uncountable cardinal κ.
- Jensen, R. Björn (1972), "The fine structure of the constructible hierarchy", Annals of Mathematical Logic, 4: 229–308, doi:10.1016/0003-4843(72)90001-0, MR 0309729
|This set theory-related article is a stub. You can help Wikipedia by expanding it.|