Функция Лавера

В теории множеств функция Лэйвера (или ромб Лэйвера , названный в честь своего изобретателя Ричарда Лэйвера ) — это функция, связанная с суперкомпактными кардиналами .

Если κ — суперкомпактный кардинал, то функция Лэйвера — это функция ƒ :κ →  V _κ такая, что для каждого множества x и каждого кардинала λ ≥ |TC( x )| + κ существует суперкомпактная мера U на [λ] ^{< κ} такая, что если j _U — ассоциированное элементарное вложение, то j _U ( ƒ )(κ) = x . (Здесь V _{κ обозначает κ-} й уровень кумулятивной иерархии , TC( x ) — транзитивное замыкание x )  

Первоначальным применением функций Лэйвера была следующая теорема Лэйвера. Если κ суперкомпактно, то существует понятие κ-cc- форсинга ( P , ≤) такое, что после форсинга с ( P , ≤) выполняется следующее: κ суперкомпактно и остается суперкомпактным после форсинга с любым κ-направленным замкнутым форсингом.

Существует множество других приложений, например, доказательство непротиворечивости аксиомы надлежащего форсинга .

Эта статья по теории множеств — заглушка . Вы можете помочь Википедии, расширив ее.

• в
• т
• е