témavezető: Maróti Miklós
helyszín (magyar oldal): SZTE TTIK Matematika- és Számítástudományok Doktori Iskola 6720 Szeged, Aradi vértanúk tere 1. helyszín rövidítés: MatDI
A kutatási téma leírása:
Baker véges azonosságbázis tétele az univerzális algebra egyik legmélyebb klasszikus eredménye, amely szerint minden végesen generált kongruencia-disztributív varietás végesen axiomatizálható.
Ezt az eredményt több irányban általánosították (McKenzie, Willard, Pigozzi) és számos ehhez kapcsolódó probléma vár még megoldásra, többek között a több mit 30 éves Park sejtés.
Konkrét varietások és kvázivarietások vizsgálatánál a véges axiomatizálhatóság mellet további fontos kutatási terület a kisérő struktúrák (mint például a részvarietás, részkvázivarietás és kongruencia hálók) vizsgálata, illetve a szubdirekt irreducibilis és egyszerű algebrák leírása.