Education
He graduated from the Eötvös Loránd University, Budapest, then worked at the Mathematical Institute of the Hungarian Academy of Sciences.
He graduated from the Eötvös Loránd University, Budapest, then worked at the Mathematical Institute of the Hungarian Academy of Sciences.
He works in model theory, category theory, algebraic logic, and in the theory of topoi. He learned logic from Rózsa Péter and Andrzej Mostowski, Between 1974 and 2010, he was professor of mathematics at the McGill University. He retired in 2010. With Leo Harrington and Saharon Shelah he proved the Vaught conjecture for ω-stable theories.
M. East. L. X M.
Hungarian Academy of Sciences]
He is an external member of the Hungarian Academy of Sciences (1995).