ACH 2018: Amsterdam-Cambridge-Hamburg Logic Master's Thesis Days
26–27 April 2018
Hamburg (Germany)
The Amsterdam-Cambridge-Hamburg Master's Thesis Days are part of the
Forschungsseminar
Mathematische Logik of the Arbeitsbereich Mathematische Logik und
interdisziplinäre Anwendungen der Logik. Everyone is cordially
invited to attend. This event brings together Master's students from the
universities in Amsterdam, Cambridge, and Hamburg working on topics in the
foundations of mathematics and set theory to present their thesis work.
| Thursday 26 April 2018
|
| 14:15–15:15 | Sören Berger (Hamburg)
| M.Sc. thesis: The modal logic of Abelian
groups.
|
| 15:30–16:30
|
Francesco Gallinaro (Cambridge)
| M.A.St. essay: The minimality principle
for the modal logic of forcing.
|
| 16:45–17:45
|
Ethan Lewis (Amsterdam)
| M.Sc. thesis: Infinitary Computation.
|
| Friday 27 April 2018
|
| 11:00–12:00
|
Alex Kastner (Cambridge)
|
M.A.St. essay: Infinite Ehrenfeucht-Fraïssé games.
|
| 14:00–15:00
|
Lorenzo Galeotti (Hamburg & Amsterdam)
| Generalised real lines and the
Bolzano-Weierstraß Theorem
|
Location. Room 415, Geomatikum, Bundesstraße 55, 20146 Hamburg (see below for a map).
Larger map
|
