WikiDer > O'zgaruvchan kardinal

Iterable cardinal

Yilda matematika, an takrorlanadigan kardinal ning bir turi katta kardinal Gitman tomonidan kiritilgan (2011) va Sharpe va Welch (2011) va keyinchalik Gitman va Welch tomonidan o'rganilgan (2011). Sharpe va Welch kardinalni aniqladilar κ bolmoq takrorlanadigan agar har bir kichik to'plam κ zaif kishida mavjud κ-model M mavjud bo'lgan uchun M-ultrafilter kuni κ bu o'zboshimchalik uzunligidagi ultra kuchlarning asosli takrorlanishiga imkon beradi.Gitman kardinal bo'lgan nozik tushunchani berdi κ deb belgilangan a- faqat uzunlikdagi ultra kuchli takrorlash a asosli bo'lishi talab qilinadi. (Standart argumentlar bo'yicha takrorlanuvchanlik tengdir ω1- o'qish qobiliyati.)

Adabiyotlar

  • Gitman, Viktoriya (2011), "Ramsiga o'xshash kardinallar I", Symbolic Logic jurnali, 76 (2): 519–540, arXiv:0801.4723, doi:10.2178 / jsl / 1305810762, JANOB 2830435
  • Gitman, Viktoriya; Welch, P. D. (2011), "Ramsiga o'xshash kardinallar II", Symbolic Logic jurnali, 76 (2): 541–560, arXiv:1104.4448, doi:10.2178 / jsl / 1305810763, JANOB 2830435
  • Sharp, Yan; Welch, P. D. (2011), "Chang va Ramsey xususiyatlarini ba'zi bir umumlashmalarga ega bo'lgan juda katta Erdes kardinallari", Sof va amaliy mantiq yilnomalari, 162 (2): 863–902, doi:10.1016 / j.apal.2011.04.002, JANOB 2817562CS1 tarmog'i: MR formati (havola)


Tashqi havolalar