Laver mulki - Laver property

Matematik to'plamlar nazariyasida Laver mulki quyidagi ma'noda "juda o'xshash" bo'lmasa, ikkita model o'rtasida bo'ladi.

Uchun ${ displaystyle M}$ va ${ displaystyle N}$ to'siqlar nazariyasining o'tish modellari, ${ displaystyle N}$ Laver xususiyatiga ega deb aytilgan ${ displaystyle M}$ agar va faqat har bir funktsiya uchun bo'lsa ${ displaystyle g in M}$ xaritalash ${ displaystyle omega}$ ga ${ displaystyle omega setminus {0 }}$ shu kabi ${ displaystyle g}$ cheksizlikka va har qanday funktsiyaga ajralib turadi ${ displaystyle f in N}$ xaritalash ${ displaystyle omega}$ ga ${ displaystyle omega}$ va har qanday funktsiya ${ displaystyle h in M}$ qaysi chegaralar ${ displaystyle f}$, daraxt bor ${ displaystyle T in M}$ har bir filiali shunday ${ displaystyle T}$ bilan chegaralangan ${ displaystyle h}$ va har bir kishi uchun ${ displaystyle n}$ The ${ displaystyle n ^ { text {th}}}$ darajasi ${ displaystyle T}$ maksimal darajada kardinallikka ega ${ displaystyle g (n)}$ va ${ displaystyle f}$ ning filialidir ${ displaystyle T}$.^[1]

Majburiy tushunchada Laver xususiyati, agar majburiy kengaytmaning asosiy modeli ustida Laver xususiyati bo'lsa, deyiladi. Bunga misollar kiradi Laver majburlash.

Kontseptsiya nomi bilan nomlangan Richard Laver.

Shelah Laver xususiyati bilan majburiy majburiyatlar mavjudligini isbotladi takrorlangan hisoblash tayanchlaridan foydalangan holda, majburiy tushunchalar Laver xususiyatiga ham ega bo'ladi.^[2][3]

Laver xususiyati va ${ displaystyle {} ^ { omega} omega}$-boundlash xususiyati ga teng Mulkni qoplaydi.

Adabiyotlar