Thursday 25 April 2024 |
Events for day: Wednesday 24 April 2019 |
10:00 - 12:00 Short Course Method of Forcing with Side Conditions School MATHEMATICS Elementary submodes as side conditions lead to a powerful method for designing forcing notions with desired generic objects. In more recent years such side conditions were used also in iterated forcing constructions. The series of lectures will present both of these two aspect of the side condition method. ... 14:00 - 16:00 Short Course Method of Forcing with Side Conditions School MATHEMATICS Elementary submodes as side conditions lead to a powerful method for designing forcing notions with desired generic objects. In more recent years such side conditions were used also in iterated forcing constructions. The series of lectures will present both of these two aspect of the side condition method. ... 16:00 - 17:00 Mathematics Colloquium Struggle Between Syntax and Semantics in Mathematics School MATHEMATICS Mathematical practice throughout history has featured a dichotomy that can broadly be characterized as a struggle between syntax and semantics. We survey the history and the roots of this dichotomy and offer some speculation and thinking points. ... |