Sacks mulk - Sacks property

Matematik to'plamlar nazariyasida Mulkni qoplaydi ikkitasini ushlab turadi modellar ning Zermelo-Fraenkel to'plamlari nazariyasi agar ular quyidagi ma'noda "juda o'xshash" bo'lmasa.

Uchun ${ displaystyle M}$ va ${ displaystyle N}$ to'siqlar nazariyasining o'tish modellari, ${ displaystyle N}$ Sacks mulkiga ega bo'lganligi aytiladi ${ 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}$ bor daraxt ${ displaystyle T in M}$ har bir kishi uchun shunday ${ displaystyle n}$ The ${ displaystyle n ^ {th}}$ darajasi ${ displaystyle T}$ maksimal darajada kardinallikka ega ${ displaystyle g (n)}$ va ${ displaystyle f}$ ning filialidir ${ displaystyle T}$.^[1]

Sacks xususiyati ma'lum qiymatini boshqarish uchun ishlatiladi kardinal invariantlar yilda majburlash dalillar. Bu nomlangan Jerald Enoch qoplari.

A tushunchani majburlash Sacks xususiyatiga ega bo'lishi kerak, agar majburiy kengaytmada asosiy model ustida Sacks xususiyati bo'lsa. Bunga misollar kiradi Torbalar majbur qilmoqda va Kumush majburlash.

Shelah Sacks mulki bilan to'g'ri majburlash zarur bo'lganda takrorlangan hisoblanadigan tayanchlardan foydalangan holda, majburiy tushunchalar Sacks xususiyatiga ham ega bo'ladi.^[2][3]

Sacks xususiyati -ning birikmasiga tengdir Laver mulki va ${ displaystyle {} ^ { omega} omega}$- cheklovchi mulk.

Adabiyotlar