|Tuesday 26 January 2021|
|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 firstname.lastname@example.org. ...