Eötvös Loránd Tudományegyetem Egyetemi Tanácsának ülései, 1969-1970 (HU-ELTEL 1.a.36-40.)

1969.11.17. - Határozatok, mellékletek

- 2 -Az Erdős Pállal közös 1?., 19., 26., 2?., 29., 32. és 40. dolgozatok a halmazelmélet úgyszólván valamennyi problémakörébe vágó fontos eredményeket tartalmazzák és problémákat vetnek fel. A 4-0. dolgozat, melyet Hajnal András és Erdos Pál egy Los Angelesben tartott halmazelméleti kollokvium szervezőbizottságának kérésére irtak^ egy megoldatlan probléma-gyítjtemény, amelyben közölt több mint 80 problémának már eddig is nagy visszhangja volt.

Hajnal András számos más társszerzővel együttműködve is ért el jelentős eredményeket. Juhász Istvánnal közösen /l. 30., 31., 35.,

39., 4-1./ az általános topológiában alkalmazták a particióelmélet módszereit és számos kiváló topológus /de Groot, Isbell, Jefimov/ által felvetett problémát oldottak meg.

Hajnal András E.C, Milnerrel és Erdős Pállal közösen irt, egy speciális halmazelméleti témakörről szóló dolgozataiban is számos mély és fontos tételt bizonyít be /28., 34-./.

Hajnal András Fodor Gézával közösen /36./ egy több mint 30 éves megoldatlan, igen fontos problémára adott megoldást. Bebizonyították, hogy a legkisebb erősen elérhetetlen számosság nem valós mérhető.

Bár e tételt egy Solovay nevű amerikai matematikus kétségtelen prioritással előbb bebizonyította, Hajnal és Fodor független bizonyítása igen jelentős továbbfejlesztését adja Fodor regresszív függvényekre vonatkozó munkájának.

Hajnal András Petruska Györggyel közösen egy valós függvénytani tárgyú dolgozatban többek között egy érdekes általánosítását adja Császár egy tételének.

Hajnal András eredményeinek nemzetközi elismerését mutatja, . hogy 1963-64—ben a Berkeley egyetem egy évre meghívta őt, hogy részt vegyen az ott Tarski ás Henkin vezetésével folyó kutatómunkában. Az 1968. augusztusában Varsóban . modellelnéleti

kenferencián egyórás előadást tartött-1966-ban az Akadémiai díj I. fokozatát kapta.

Mindezek alapján javasoljuk őt Állami díjjal való kitüntetésre.

/

Császár Ákos s.k.

a Matematikai Szakbizottság titkára