Yaxshi ism - Nice name - Wikipedia

Yilda to'plam nazariyasi, a yaxshi ism ichida ishlatiladi majburlash umumiy modeldagi pastki to'plamlar soniga yuqori chegarani o'rnatish. Kabi mustaqillik natijalarini isbotlashga majbur qilish nuqtai nazaridan foydalaniladi Iston teoremasi.

Rasmiy ta'rif

Ruxsat bering ${ displaystyle M models}$ ZFC o'tish, ${ displaystyle ( mathbb {P}, <)}$ majburiy tushuncha ${ displaystyle M}$va, deylik ${ displaystyle G subseteq mathbb {P}}$ umumiy tugadi ${ displaystyle M}$. Keyin har qanday kishi uchun ${ displaystyle mathbb {P}}$- ism ${ displaystyle M}$, ${ displaystyle tau}$,

${ displaystyle eta}$ pastki qismi uchun yaxshi ism ${ displaystyle tau}$ agar ${ displaystyle eta}$ a ${ displaystyle mathbb {P}}$- quyidagi xususiyatlarni qondiradigan ism:

(1) ${ displaystyle { textrm {dom}} ( eta) subseteq { textrm {dom}} ( tau)}$

(2) Hammasi uchun ${ displaystyle mathbb {P}}$- ismlar ${ displaystyle sigma in M}$, ${ displaystyle {p in mathbb {P} | langle sigma, p rangle in eta }}$ antichain hosil qiladi.

(3) (Tabiiy qo'shimchalar): Agar ${ displaystyle langle sigma, p rangle in eta}$, keyin mavjud ${ displaystyle q geq p}$ yilda ${ displaystyle mathbb {P}}$ shu kabi ${ displaystyle langle sigma, q rangle in tau}$.

Adabiyotlar

• Kennet Kunen (1980) To'siq nazariyasi: mustaqillikni isbotlash uchun kirish, Mantiq va matematikaning asoslarini o'rganish bo'yicha 102-jild (Elsevier) ISBN  0-444-85401-0, s.208

Bu to'plam nazariyasi bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.