Monday, December 04, 2006

Italian Success in Logic

I have just read an email message on the mailing list of the Italian Association for Logic and its Applications (AILA). The news is that Matteo Viale has been awarded the 2006 Sacks Prize of the ASL.

Matteo Viale finished his doctorate last September at the University of Turin and the University of Paris VII (co-supervised by Alessandro Andretta and Boban Velickovic) . In his thesis, he has solved one of the major open problems in logic and set theory by showing that the proper forcing axiom (PFA) implies the singular cardinal hypothesis (SCH). The result is reported in this paper.

Congrats to Matteo!

No comments: