IPM Calendar 
Tuesday 26 January 2021   Today  
Events for day: Wednesday 28 October 2020    
           15:30 - 17:30     Mathtematical Logic Weekly Seminar
In Search of Higher Forcing Axioms; A Supplement to Veličković's talk


This talk should be regarded as a continuation of the latest talk delivered at IPM logic webinar by Veličković. I will review briefly the Veličković' story, and then introduce certain combinatorial principles originating from large cardinals. Though I will be concentrating on their correlation with other well-known consequences of PFA, if time permits, I will also sketch the proof of a theorem obtained in collaboration with Veličković.
To join this webinar, please send an email to r.zoghi@gmail.com. ...