Logic Seminar Fall 2021

The seminar will this term be partially a physical event with an option of Zoom-connection to the lecture room, and partially a pure Zoom event. All physical talks will take place in Lecture room 819 in the Math. building.

 

Tentative program:

02.09.2021: Lars Kristiansen

16.09.2021: Juvenal Murwanashyaka Decidability and Undecidability in First-Order Theories of Term Algebras

23.09.2021: Lars Kristiansen On Representation of Irrational Numbers: A Degree Structure

07.10.2021: Dag Normann Reverse mathematics - then and now.

21.10.2021: Dag Normann Generalising the concept of being finite.

11.11.2021: Joel David Hamkins Infinite draughts and the logic of infinitary games.

18.11.2021: Neil Barton Intensional Classes and Intuitionistic Topoi in Potentialist Frameworks

25.11.2021: Trung Tuyen Troung

02.12.2021: Øystein Linnebo

Published Sep. 2, 2021 3:47 PM - Last modified Nov. 11, 2021 2:30 PM