Je medzinárodne uznávaným odborníkom v teórii množín a matematickej logiky. Výsledky jeho práce už takmer tridsať rokov obohacujú vysokoškolské učebnice matematiky po celom svete. Stál pri zrode akreditačnej komisie, poradného orgánu vlády, ktorá bdie na