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 email@example.com, 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:
- On the modal account of forcing (Oberseminar Logik, Universität Bonn, October 2023) slides
- The predicate modal logic of forcing (ESSLLI 2023 workshop on first-order modal and temporal logic, August 2023 in Ljubljana)
- On the predicate modal logic of forcing (9th meeting of Set Theory in the UK, March 2023 in Cambridge)
- Canonical models for quantified S4.2 (STiHAC, January 2023 online)
- An overview of predicate modal logic (STiHAC, October 2022 online)
- Product vs iterated forcing (STiHAC, July 2021 online)
- Infinitary logic and infinite time Turing machines (University of Oxford, June 2020 online)
My PhD is kindly being funded by the Otto-Toeplitz-Gedächtnisstiftungsfonds.