Martins maksimal darajada - Martins maximum

Yilda to'plam nazariyasi, filiali matematik mantiq, Martinning maksimal darajasitomonidan kiritilgan Foreman, Magidor va Shelah (1988) va nomlangan Donald Martin, ning umumlashtirilishi to'g'ri majburiy aksioma, o'zini umumlashtirish Martinning aksiomasi. Bu eng keng sinfni anglatadi majburlash buning uchun majburiy aksioma mos keladi.

Martinning maksimal (MM) ta'kidlashicha, agar D. to'plamidir $ mathbb {L} $ statsionar kichik to'plamlarini saqlaydigan majburlash tushunchasining zich pastki qismlari1, keyin bor D.- umumiy filtr. Bilan majburlash ccc ω ning statsionar kichik to'plamlarini majburiy saqlash tushunchasi1Shunday qilib, MM MA ni kengaytiradi (). Agar (P, ≤) majburlash tushunchasini saqlaydigan statsionar to'plam emas, ya'ni ω ning statsionar kichik to'plami mavjud1bilan majburlashda nostatsionar bo'ladiP, ≤), keyin to'plam bor D. ning ning quyi to'plamlari (P, ≤), yo'qligi uchun D.- umumiy filtr. Shuning uchun MM Martin aksiomasining maksimal kengaytmasi deb nomlanadi.

A mavjudligi superkompakt kardinal Martinning maksimal darajasining barqarorligini anglatadi.[1] Dalil foydalanadi Shelah Yarim ishlab chiqarishni majburlash va qayta ko'rib chiqiladigan hisoblash tayanchlari bilan takrorlash nazariyalari.

MM ning ma'nosi shundan iboratki doimiylik bu [2] va bu ideal statsionar to'plamlar ω da1 bu - to'yingan.[3] Bundan tashqari, statsionar aks ettirishni anglatadi, ya'ni, agar S ba'zi bir doimiy kardinal κ≥ω ning statsionar kichik to'plamidir2 va ning har bir elementi S hisoblash qobiliyatiga ega, keyin $ a SG a a ichida harakatsiz. Aslini olib qaraganda, S type buyurtma turining yopiq kichik to'plamini o'z ichiga oladi1.

Adabiyotlar

  1. ^ Jech (2003) p.684
  2. ^ Jech (2003) s.685
  3. ^ Jech (2003) p.687
  • Usta, M.; Magidor, M.; Shelah, Saxon (1988), "Martinning maksimal, to'yingan ideallari va muntazam bo'lmagan ultrafiltrlari. I.", Ann. matematikadan., Matematika yilnomalari, jild. 127, № 1, 127 (1): 1–47, doi:10.2307/1971415, JSTOR  1971415, JANOB  0924672, Zbl  0645.03028 tuzatish
  • Jech, Tomas (2003), Nazariyani o'rnating, Matematikadagi Springer monografiyalari (Uchinchi ming yillik tahr.), Berlin, Nyu-York: Springer-Verlag, ISBN  978-3-540-44085-7, Zbl  1007.03002
  • Mur, Jastin Tatch (2011), "Mantiq va asoslar: to'g'ri majburiy aksioma", Bhatiya, Rajendra (tahr.), Xalqaro matematiklar kongressi materiallari (ICM 2010), Haydarobod, Hindiston, 2010 yil 19-27 avgust. Vol. II: Taklif etilgan ma'ruzalar (PDF), Hackensack, NJ: World Scientific, 3-29 betlar, ISBN  978-981-4324-30-4, Zbl  1258.03075

Shuningdek qarang

Transfinite raqam