Eötvös Loránd Tudományegyetem Természettudományi Karának ülései, 1969-1970 (HU ELTEL 11.a.13.)

1969. november 4. kari tanácsülés

Az Erdős Pállal közös 17., 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 40. dolgozat, melyet Hajnal András és Erdős Pál egy Los Angelesben tartott halmazelméleti kollokvium szervezőbizottságának kérésére Írtak, egy megoldatlan probléma-gyűjtemé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 /1. 30., 31.» 35.»

39.» 4-1./ az általános topológiában alkalmazták a particióelméle+ módszereit és számos kiváló topológus /de Groot, Isbell, Jefiraov/ á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énytan! 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 ' • modellelméleti

kenferencián egyórás előadást tart0"'*'

1966-ban az Akadémiai dij 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