Stevo TodorÃÂeviÃÂ (; born February 9, 1955), is a Yugoslavian mathematician specializing in mathematical logic and set theory. He holds a Canada Research Chair in mathematics at the University of Toronto, and a director of research position at the Centre national de la recherche scientifique in Paris.
TodorÃÂeviÃÂ was born in UboviÃÂa Brdo. As a child he moved to Banatsko Novo Selo, and went to school in PanÃÂevo. At Belgrade University, he studied pure mathematics, attending lectures by ÃÂuro Kurepa. He began graduate studies in 1978, and wrote his doctoral thesis in 1979 with Kurepa as his advisor.
TodorÃÂeviÃÂ's work involves mathematical logic, set theory, and their applications to pure mathematics.
In TodorÃÂeviÃÂ's 1978 master's thesis, he constructed a model of MA + ìwKH in a way to allow him to make the continuum any regular cardinal, and so derived a variety of topological consequences. Here MA is an abbreviation for Martin's axiom and wKH stands for the weak Kurepa Hypothesis. In 1980, TodorÃÂeviàand Abraham proved the existence of rigid Aronszajn trees and the consistency of MA + the negation of the continuum hypothesis + there exists a first countable S-space.
TodorÃÂeviÃÂ is the winner of
He was selected by the Association for Symbolic Logic as their 2016 Gödel Lecturer.
He became a corresponding member of the Serbian Academy of Sciences and Arts as of 1991 and a full member of the academy in 2009. In 2016 TodorÃÂeviÃÂ became a fellow of the Royal Society of Canada.
TodorÃÂeviÃÂ has been described as "the greatest Serbian mathematician" since the time of Mihailo PetroviÃÂ Alas.
TodorÃÂeviÃÂ is the author of several books in mathematics, including: