Stevo Todorčević
In the July–August 1980 Todorčević attended the six-week summer school called Settop held in Toronto. At the conference, Todorčević along with Abraham had proved the existence of rigid Aronszajn trees and the consistency of  + there exists a first countable -space.  is an abbreviation for the Continuum Hypotesis.