E-mail: matteo dot viale at unito dot it
Phone: + 39 - 011 - 670 2931
I currently got a permanent position as a researcher in the math department of the University of Torino. I got my PhD under the direction of Boban Velickovic, professor at the university of Paris 7, and Alessandro Andretta, professor at the university of Torino and then got a three year Post Doc position in the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna.
My research interests lie in the area of mathematical logic, more specifically, in set theory; even more specifically: I'm interested in forcing axioms, large cardinals and singular cardinals combinatorics. For those interested, here is a short propaganda to the subject and to myself. Other intersting material can be found in this and other web pages here (in italian), here (also in italian...) and also here (in english, for those who knows already the basics of set theory)
Winner of the Kurt Gödel Research Prize Fellowship 2010, awarded in 2010 to support original research in the foundations of mathematics. Here you can find the slides of the conference I held in occasion of the ceremony award.
Winner of the premio Fubini 2010, awarded in 2010 to a young mathematician working in Italy in the fields of logic, geometry and algebra.
Sacks Prize
for the best Ph.D. thesis in Mathematical Logic in 2006 attributed by
the Association for
Symbolic Logic for the Ph.d thesis Applications
of
the
proper
forcing
axiom
to
cardinal
arithmetic.
"Guessing models and generalized Laver diamond", Annals of Pure and Applied Logic, in press, corrected proofs available on line 29 December 2011, 38 pages: viale.pdf
"On the consistency strength of the proper forcing axioms" (with Christoph Weiss), Advances in Mathematics, Volume 228, Issue 5, 1 December 2011, Pages 2672-2687 Matteo Viale, Christoph Weiß: viale_weiss.pdf
"On the mapping reflection principle MRP" The Bulletin of Symbolic Logic 15(3), 322-325, 2009: BSLMRPrevMV.pdf
"Some consequences of reflection on the approachability ideal" Transactions of the American Mathematical Society 362, 4201-4212, 2009 (with Assaf Sharon): RAMVAS.pdf
"Forcing axioms, supercompact cardinals, singular cardinals combinatorics" The Bulletin of Symbolic Logic 14 (2008),no. 1, 99--113: BSLMV.pdf
"A family of covering properties" Mathematical Research Letters, 2008, volume 15, no. 2, 221--238: CPMV.pdf
"The proper forcing axiom and the singular cardinal hypothesis." The Journal of Symbolic Logic, 2006, volume 71, no. 2, 473--479: proper-singularMV.pdf
"The cumulative hierarchy and the constructible universe of ZFA." Mathematical Logic Quarterly, 2004, volume 50, no. 1, 99--103: zfaMV.pdf
"A binary modal logic for the intersection types of lambdacalculus." With Silvio Valentini. Information and Computation, 2003, volume 185, no. 2, 211--232: lambdaMV.pdf
"Martin's maximum revisited", submitted, 31 pages: Martinmaximumrevisited.pdf
"Martin's maximum and tower forcing", submitted, 23 pages: coxviale.pdf
You might as well be interested in the following paper by Weiss also submitted to Annals of Pure and Applied Logic, 15 pages: weiss.pdf
Here are the slides of my talk in Bedlewo (july 2007) concerning saturation properties of models of strong forcing axioms.
Here are the slides of my talk in Bonn (january 2008) concerning the structure of the approachability ideal in models of Martin's Maximum.
Here are the slides of my talk in Luminy (october 2010) concerning the consistency strength of PFA.
Here are the slides of my talk in Oberwolfach (january 2011) concerning the notion of guessing model.
Here are the slides of my talk in Bologna (february 2011) where I give a brief account of Woodin's Omega-logic as I understood it.
Here are the revised version of the slides of my talk in Singapore (july 2011)where I give a brief account of an absoluteness results for the theory of H(\aleph_2) in models of strong forcing axioms.
Here are the revised version of the slides of my talk in Paris (november 2011). If you were interested in the Singapore talk you should be interested in these slides as well.
Many inaccuracies may occur in the slides, caveat lector!
Here you can download the slides of some talks (Bagaria, Cox, Friedman) in the set theory workshop we had in Torino the 13th of november 2010.
Here you can download the slides of some of the talks in logic we have in Torino
Some inaccuracies may occur in the slides, caveat lector!