Laver property - Уикипедия - Laver property

Математикалық жиындар теориясында Лавер меншігі келесі мағынада, егер олар «тым ұқсас емес» болса, екі модель арасында өтеді.

Үшін ${ displaystyle M}$ және ${ displaystyle N}$ жиындар теориясының өтпелі модельдері, ${ displaystyle N}$ Laver қасиеті аяқталған дейді ${ displaystyle M}$ егер және әр функция үшін болса ғана ${ displaystyle g in M}$ картаға түсіру ${ displaystyle omega}$ дейін ${ displaystyle omega setminus {0 }}$ осындай ${ displaystyle g}$ шексіздікке және кез-келген функцияға ауысады ${ displaystyle f in}$ картаға түсіру ${ displaystyle omega}$ дейін ${ displaystyle omega}$ және барлық функциялар ${ displaystyle h in M}$ қандай шекара бар ${ displaystyle f}$, ағаш бар ${ displaystyle T in M}$ осылайша әрбір тармақ ${ displaystyle T}$ шектелген ${ displaystyle h}$ және әрқайсысы үшін ${ displaystyle n}$ The ${ displaystyle n ^ { text {th}}}$ деңгейі ${ displaystyle T}$ ең үлкен мәнге ие ${ displaystyle g (n)}$ және ${ displaystyle f}$ болып табылады ${ displaystyle T}$.^[1]

Мәжбүрлеу ұғымы Laver қасиетіне ие болады, егер мәжбүрлеп кеңейту негізгі модельге сәйкес Laver қасиетіне ие болса ғана. Мысалдарға мыналар жатады Лаверді мәжбүрлеу.

Тұжырымдама атымен аталады Ричард Лавер.

Шелах Laver қасиетімен мәжбүрлеу күші болған кезде дәлелдеді қайталанған есептелетін тіректерді қолдана отырып, мәжбүрлеу түсінігі Laver қасиетіне ие болады.^[2][3]

Laver қасиеті мен ${ displaystyle {} ^ { omega} omega}$-шектілік қасиеті -ге тең Мүлікті қап.

Әдебиеттер тізімі