Location

Institute of informatics
Neubrückstrasse 10
3012 Bern
+41 31 684 84 26
3rd floor, room 302.

Schedule

Monday December 4

09:30 - 10:30
Mirna Džamonja: Structuralisation of mathematics
Abstract: We discuss the history of a structure in mathematics. The mathematics of the 19th and early 20th century led to birth of both set theory, first order logic and model theory, in one single movement that might be called structuralism. We cover some basics of these three subjects and equally some related subjects, such as universal algebra.

10:30 - 11:00   Break

11:00 - 12:00
Mirna Džamonja: Classical transfer theorems in model theory
Abstract: Model theory’s greatest early «failure», to give a single model of Peano arithmetics (in the first order axiomatisation), is also its strength, expressed through Lowenheim-Skolem arguments and other transfer properties. We shall cover some of these theorems and their use in mathematics, for example in the independence results in set theory.

12:00 - 14:00   Lunch

14:00 - 15:00
Mirna Džamonja: Transfer theorems in infinite model theory. Their failure in more abstract logics and in finite model theory. How some of them revive in the instances of these two settings.

15:00 - 15:30   Break

15:30 - 16:30
Mirna Džamonja: Chu transforms and their use in transfer theorems in logic (joint work with Francesco Parente)