Clara Elizabeth List

Welcome!

My name is Clara and I am a PhD student in the Mathematische Logik und interdisziplinäre Anwendung der Logik group at the Universität Hamburg. I mainly work in the intersection of Set Theory and Modal Logic and am under the supervision of Joel David Hamkins (University of Notre Dame) and Benedikt Löwe (Universität Hamburg, University of Cambridge).

I am currently looking at the first-order modal logic of forcing. That is, I am trying to characterise the first-order modal assertions that are valid under the forcing interpretation in models of ZFC. Here, □φ is interpreted as in every forcing extension φ and ◇φ as in some forcing extension φ. The propositional analogue of this question was first investigated by Hamkins and Löwe in this paper.

I am also interested in the original texts produced by logicians during the early development of set theory. In particular, I am currently looking at the writings of Georg Cantor, who is considered to be the founder of set theory. These were mainly written in German and I am translating several of his papers into English.

Dominik Pichler (TU Wien) and I are organisers of FoMoLo. Please subscribe to our mailing list on the seminar website if you would like to be notified about upcoming talks and receive details on how to attend online.

I am originally from Graz, Austria and moved to the UK in 2015 to begin my studies in mathematics. In 2019 I obtained my BSc in Pure Mathematics from Imperial College London, and in 2020 I graduated from the University of Oxford with an MSc in Mathematics and Foundations of Computer Science. My Master’s dissertation was titled “Infinitary logic and infinite time Turing machines” and was supervised by Joel David Hamkins. In 2021 I completed the Logic Year at the Institute for Logic, Language and Computation in Amsterdam, and in 2022 I started my PhD at the Universität Hamburg.

Send me an email if you want to chat about set theory or some other area of logic — my interests are widely spread within logic, so I’m sure there will be some sort of overlap in interests! Feel free to also contact me if you are thinking of doing a bachelor's/master's/PhD in mathematics (or some other area related to logic) and have any questions you want to discuss.

My email address is first.middle.last@uni-hamburg.de, where you replace first/middle/last with my first/middle/last name as seen in the header of this website.

Some talks I have given:

My PhD is kindly being funded by the Otto-Toeplitz-Gedächtnisstiftungsfonds.