Seminar on mathematical logic

The seminar is run jointly by Mateusz Łełyk, Konrad Zdanowski, and myself. In recent years, we have been meeting on Wednesdays around noon at MIMUW. We also try to have online meetings roughly once a month.

Our main focus is axiomatic theories of arithmetic. Specific topics include unprovability, bounded arithmetic, models of arithmetic, reverse mathematics, axiomatic theories of truth etc. However, more or less anything related to mathematical logic is welcome.

While we do sometimes talk about our own work, most talks are devoted to presenting other people's papers. Typically, such a presentation is relatively detailed and takes up two to four meetings.

If you're interested in joining us, send me an email (lak at mimuw dot edu dot pl).
Strona główna