Mulkni qoplaydi - Sacks property - Wikipedia

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 va to'siqlar nazariyasining o'tish modellari, Sacks mulkiga ega bo'lganligi aytiladi agar va faqat har bir funktsiya uchun bo'lsa xaritalash ga shu kabi cheksizlikka va har qanday funktsiyaga ajralib turadi xaritalash ga bor daraxt har bir kishi uchun shunday The darajasi maksimal darajada kardinallikka ega va ning filialidir .[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 - cheklovchi mulk.

Adabiyotlar

  1. ^ Shelah, Saxon (2001), "Sacklar yoki Laver mulklari bilan hech qanday ahamiyatsiz ccc tushunchasi doimiy ravishda mavjud emas", Kombinatorika, 21 (2): 309–319, arXiv:matematik / 0003139, doi:10.1007 / s004930100027, JANOB  1832454.
  2. ^ Shelah, Saxon (1998), To'g'ri va noto'g'ri majburlash, Matematik mantiqdagi istiqbollar (2-nashr), Springer-Verlag, Berlin, doi:10.1007/978-3-662-12831-2, ISBN  3-540-51700-6, JANOB  1623206.
  3. ^ Shlindwein, Chaz (2014), "Saqlash teoremalarini tushunish: VI bob To'g'ri va noto'g'ri majburlash, Men ", Matematik mantiq uchun arxiv, 53 (1–2): 171–202, arXiv:1305.5906, doi:10.1007 / s00153-013-0361-8, JANOB  3151404