Subkompakt kardinal - Subcompact cardinal

Yilda matematika, a subkompakt kardinal ning ma'lum bir turi katta kardinal raqam.

Asosiy raqam κ subkompakt bo'ladi va faqat har biri uchun A ⊂ H(κ+) ahamiyatsiz narsa mavjud elementar joylashish j :(H(m+), B) → (H(κ+), A) (qaerda H(κ+) barcha to'plamlarning to'plamidir kardinallik irsiy jihatdan kamroq κ+ ) bilan tanqidiy nuqta m vaj(m) = κ.

Shunga o'xshash, κ a kvazikompakt kardinal agar va faqat har biri uchun bo'lsa A ⊂ H(κ+) oddiy bo'lmagan elementar ko'mish mavjud j:(H(κ+), A) → (H(m+), B) tanqidiy nuqta bilan κ vaj(κ) = m.

H(λ) o'tish davri yopilishining kardinalligi kamroq bo'lgan barcha to'plamlardan iboratλ.

Har bir kvazikompakt kardinal subkompaktdir. Kvazikompaktlik - bu subkompaktlikning kuchayishi, chunki u katta kardinal xususiyatlarni yuqoriga ko'taradi. O'zaro munosabatlar o'xshashdir kengaytiriladigan ga qarshi superkompakt kardinallar. Kvazikompaktlik kengaytirilganlikning 1 ta kuchaytirilgan yoki "qalin" versiyasi sifatida qaralishi mumkin. Subkompakt kardinallarning mavjudligi ko'plab kengaytiriladigan kardinallarning mavjudligini va shuning uchun ko'pchilikni nazarda tutadi juda kuchli kardinallar. 2 ning mavjudligiκ- superkompakt kardinal κ ko'plab kvazikompakt kardinallarning mavjudligini nazarda tutadi.

Subkompakt kardinallar e'tiborga loyiqdir, chunki eng kichik kardinallar ishlamay qolishini anglatadi kvadrat tamoyili. Agar κ subkompakt bo'lsa, u holda kvadrat printsipi κ da ishlamaydi. Subkompakt kardinallar darajasidagi kanonik ichki modellar kvadrat printsipni subkompakt kardinallardan tashqari umuman qondiradi. (Bunday modellarning mavjudligi hali isbotlanmagan, ammo har qanday holatda ham kuchsiz kardinallar uchun kvadrat printsipi majburlanishi mumkin.)

Kvazikompaktlik - bu eng kuchli yirik kardinal xususiyatlardan biri bo'lib, u uzoq kengaytirgichlardan foydalanmaydigan hozirgi ichki modellarga guvoh bo'lishi mumkin. Joriy ichki modellar uchun elementar birikmalar ularning ta'siriga qarab belgilanadi P(κ) (bosqichda hisoblanganidek, ko'mish kiritilgan), bu erda κ ​​muhim nuqta. Bu ularga hatto guvoh bo'lishlariga to'sqinlik qiladi κ+ kuchli ixcham kardinal  κ.

Subkompakt va kvazikompakt kardinallar tomonidan aniqlandi Ronald Jensen.

Adabiyotlar

  • "Symbolic Logic Bulletin" ning 2001 yil sentyabrdagi sonidagi "Asosiy modellardagi maydon"