The Forcing Method in Set Theory: An Introduction Via Boolean Valued Logic

Matteo Viale is a full professor in mathematical logic in the Mathematics Department of the University of Torino. In 2006, he won the Sacks prize in mathematical logic awarded by the Association of Symbolic Logic for the best PhD thesis in logic for that year. He has also won the 2010 Kurt Goedel Research fellowship (awarded by the Kurt Goedel Society) and the Fubini prize in 2011 (awarded by the Istituto Guido Boella). He has published over 20 papers in refereed journals, including top ones such as JAMS, TAMS, and Advances in Mathematics. He has taught master-level courses in set theory since 2012. He has supervised over 20 master’s theses in mathematical logic and three PhD students.