Laver mulki - Laver property - Wikipedia

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

Uchun va to'siqlar nazariyasining o'tish modellari, Laver xususiyatiga ega deb aytilgan agar va faqat har bir funktsiya uchun bo'lsa xaritalash ga shu kabi cheksizlikka va har qanday funktsiyaga ajralib turadi xaritalash ga va har qanday funktsiya qaysi chegaralar , daraxt bor har bir filiali shunday bilan chegaralangan va har bir kishi uchun The darajasi maksimal darajada kardinallikka ega va ning filialidir .[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 -boundlash xususiyati ga teng Mulkni qoplaydi.

Adabiyotlar

  1. ^ Shelah, S., Sacks yoki Laver xususiyati bilan majburiy ravishda hech qanday ahamiyatsiz ccc tushunchasi mavjud emas, Combinatorica, vol. 2, 309 - 319 betlar, (2001)
  2. ^ Shelah, S., to'g'ri va noto'g'ri majburlash, Springer (1992)
  3. ^ S.Shlindvayn, Saqlash teoremalarini tushunish: To'g'ri va noto'g'ri majburlashning VI bobi, I. Matematik mantiq uchun arxiv, vol. 53, 171-202, Springer, 2014 yil