Frederik Rowbottom - Frederick Rowbottom

Frederik Rowbottom (1938 yil 16 yanvar - 2009 yil 12 oktyabr) a Inglizlar mantiqchi va matematik. The katta kardinal tushunchasi Rowbottom kardinallar uning nomi bilan atalgan.

Biografiya

O'qishni tugatgandan so'ng Kembrij universiteti, Rowbottom ostida o'qigan Xovard Jerom Kaysler da Viskonsin universiteti - Medison, uning daromadini Ph.D. nomzodlik dissertatsiyasi bilan 1964 yilda ilmiy daraja oldi Katta kardinallar va kichik konstruktiv to'plamlarnazorati ostida Jerom Kaysler.[1] Ning tavsiyasi bilan Georg Kreisel, u pozitsiyani egalladi Bristol universiteti 1965 yilda u o'zining professional faoliyatining qolgan qismini o'tkazgan.

U "Konstruktivlik aksiomasiga mos kelmaydigan cheksizlikning ba'zi kuchli aksiomalari" nomli maqolasini nashr etdi. Matematik mantiq yilnomalari, 3 1971. Ushbu maqola o'zining tezislari bilan birgalikda "Ramsey kardinallari o'lchanadigan kardinallarga qaraganda kuchsizroq ekanligini va ularning mavjudligi konstruktiv haqiqiy doimiylikni hisobga olish mumkinligini anglatishini ko'rsatdi; u bundan ham zaifroq bo'linma va ikkita kardinal xususiyatdan kelib chiqqanligini isbotladi. "[2] The katta kardinal tushunchasi Rowbottom kardinallar uning nomi bilan atalgan,[3] Rowbottom tushunchasi kabi ultrafilter.[4]

Keyt Devlin o'rganilgan to'plam nazariyasi Rowbottom ostida. 1992 yilda u va talabasi Jonatan Chapman bilan birgalikda darslik yozdilar topos nazariyasi, Nisbiy toifalar nazariyasi va geometrik morfizmlar: mantiqiy yondashuv, nashr etilgan Oksford mantiqiy qo'llanmalari, № 16.[5][6][7] Rovbottom 1993 yilda 55 yoshida nafaqaga chiqqan.

Rowbottom yurak etishmovchiligidan vafot etdi Xadfild, Angliya, 2009 yil 12 oktyabrda, 71 yoshda.[2]

Adabiyotlar

  1. ^ Frederik Rowbottom da Matematikaning nasabnomasi loyihasi.
  2. ^ a b "Memoriamda: Frederik Rovbotom", Xabarnomalar, Ramziy mantiq byulleteni, 16 (2): 299, 2010, doi:10.2178 / bsl / 1286889129.
  3. ^ Tryba, Jan (1981), "Rowbottom kardinallari to'g'risida bir nechta fikrlar", Isroil matematika jurnali, 40 (3–4): 193–196, doi:10.1007 / BF02761361.
  4. ^ Feng, Qi (1987), "Rowbottom haqida M-filtrlar ", Symbolic Logic jurnali, 52 (4): 990–993, doi:10.2307/2273832, JSTOR  2273832.
  5. ^ Rovbotom, Frederik va Jonatan Chapman. Nisbiy toifalar nazariyasi va geometrik morfizmlar: mantiqiy yondashuv, nashr etilgan Oksford mantiqiy qo'llanmalari, Oksford universiteti matbuoti, 1992, ISBN  978-0-19-853434-1
  6. ^ McLarty, Colin (1994). "Sharh". Zamonaviy mantiq. 4 (3): 345–348.
  7. ^ Moerdijk, Ieke (1995). "Sharh". Symbolic Logic jurnali. 60 (2): 694–695. doi:10.2307/2275864.