Bonn Mathematical Logic Group

Ioanna Matilde Dimitríou

PhD student of Prof.Dr. Peter Koepke

office: Endenicher Allee 60, Room 4.004, tel: +49 (0) 228 73 3793
mailing address: Endenicher Allee 60, 53115 Bonn, Germany
email: dimitri at math dot uni-bonn dot de

 

 

 

 

Research

I'm working on set theory, and in particular forcing, symmetric forcing, and large cardinals.

Publications

The least regular uncountable cardinal can be the first measurable
Ioanna Dimitriou, Peter Koepke, and Arthur Apter
Submitted t o Mathematical Logic Quarterly.
Topological regularities in second order arithemetic
Ioanna M. Dimitriou, Peter Koepke, and Michael Möllerfeld
In preparation.
Inaccessible cardinals without the axiom of choice
Andreas Blass, Ioanna M. Dimitriou, and Benedikt Löwe
Fundamenta Mathematicae , vol.194, pp. 179-189
Strong limits and inaccessibility with non-wellorderable powersets
Ioanna M. Dimitriou, Master of Logic thesis. Supervisor: Dr.Benedikt Loewe. ILLC publication series MoL-2006-3
PDL for Ordered Trees
Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, and Maarten de Rijke.
Journal of Applied Non-Classical Logics 15(2): 115-135 (2005)
 

Teaching

Exercises for the lecture "Higher set theory: Formal derivations and natural proofs", Bonn, winter semester 2010-11
This interdisciplinary course is centered around the topic of "mathematical proof", involving formal logic, linguistics, computer science, and even philosophy of mathematics.
ILLC research project "Singularizing successive cardinals", Amsterdam, June 2009
The goal of this research project is first to understand and work with the technique of constructing symmetric models and then to understand and work with a set sized version of the first Gitik model in which the first ωα many uncountable cardinals are singular of cofinality ω. Click here for the lecture notes.
Graduate seminar on logic, winter semester 2008/9 (with Peter Koepke and Jip Veldman)
A succession of presentations of the second chapter of my upcoming PhD thesis. It involved a basis of constructing symmetric models, examples and their main properties. The main example that took most of the time in my talks (about 4 sessions) was a set sized version of the first Gitik model, from Gitik's paper "All uncountable cardinals can be singular".
Graduate Seminar on Logic, summer semester 2008 (with Peter Koepke)
Carer for the graduate seminar. Diplom students of the mathematical logic group of Bonn give talks on the following topics:
Mengenlehre I, winter semester 2006/7 tutor (lecturer was Peter Koepke)
Tutorials on the homework exercises of the "Set theory I" course of the mathematical logic group of Bonn.
Einführung in die Mathematische Logik, summer semester 2006 tutor (lecturer was Peter Koepke, exercises were by Bernhard Irrgang)
Tutorials on the homework exercises of the "Introduction to mathematical logic" course of the mathematical logic group of Bonn
Seminar zur Mengenlehre und Diplomandenseminar, summer semester 2006 (with Peter Koepke)
Carer for the seminar of the diplom students of the mathematical logic group of Bonn. The goal of the seminar was to understand the Martin-Steel proof of projective determinacy from infinitely many Woodin cardinals.
Blockseminar Mengenlehre in Amsterdam, winter semester 2005/6 (with Peter Koepke and Benedikt Löwe)
Carer for the blockseminar of the mathematical logic group of Bonn. Diplom students give talks to a two day seminar (11-12 February 2006) in the ILLC, Amsterdam, on the topic of measurable cardinals and the axiom of determinacy.

Posters and slides

GLLC 14½ talk: Topological regularities in second order arithmetic
These are the slides from my talk at the “Games in Logic, Language and Computation 14½" meeting at the ILLC in Amsterdam (where I finished my masters). The talk is based on work by Peter Koepke and Michael Möllerfeld. It shows that ZFC is equiconsistent with full second order arithmetic (SOA) plus all sets of reals are Lebesgue measurable, have the Baire property and the perfect set property. I helped finish off the forcing side (which admittedly is a bit disappointingly easy). These are the slides.
LC2007 talk: Equiconsistency of choiceless higher Chang conjectures with one Erdös cardinal
These are the slides from my talk at the Logic Colloquium 2007 in Wroclaw, Poland. They describe an equiconsistency proof, i.e., [ZFC + κ is λ-Erdos] is equiconsistent with [ZF+ (λ+,λ)—»(λ,ν)] for every infinite ν< λ and λ regular. If you are bothered by the quantifiers outside of the equiconsistency statements (i.e., "for every λ regular cardinal" and "for every infinite ν below λ"), just call this "transitive model equiconsistent". From left to right it's a simple symmetric collapse and from right to left it's looking at the Dodd-Jensen core model. If you like the pictures and want to use them, just drop me an email!
BIGS poster 2007
This is the poster I prepared for the PhD poster day of BIGS (Bonn International Graduate School). This is an annual event (every June) in which PhD students of Mathematics are given a template and are asked to use it to create posters presenting their research to the rest of the institute. Coffee and cake are offered and for three hours members of the Mathematical institute go around talking about these posters. My poster is intended to be readable by the average member of a Mathematical institute, gives a short answer to the question "why set theory" and "why large cardinals without choice" and a brief exposition of my research at the time.

Invited talks

Organisatorial and other related activities

 

Curriculum vitae

I was born on November 27, 1978 in Thessaloniki, Greece, where I grew up. I graduated in pure mathematics from the mathematics department of the Aristotle University of Thessaloniki on July 22, 2003. On September 1, 2003 I started my master's in logic (MoL) at the ILLC in the Universiteit van Amsterdam. I wrote my master's thesis under the supervision of Dr. Benedikt Löwe on the topic of set theory, in particular forcing and the negation of the axiom of choice. I graduated my masters on January 30, 2006, after having started my PhD project at January 2, 2006 at the mathematical institute of the Universität Bonn. My advisor in Bonn is Prof. Peter Koepke and my PhD project is about infinitary combinatorics without the axiom of choice. Most of my research involves still forcing and the negation of the axiom of choice. Being a student of Peter Koepke I also have learned some things about core model theory.

I am still in Bonn at the moment and I am a member of the mathematical logic group here. I take care of the website and have helped organise all conferences and workshops that our group was involved in, as long as I'm here. I also prepared extensive workshop reports for three logic meetings that took place here in Bonn during my stay. I have taught a couple of tutorials on basic logic and set theory but mostly I have been busy with the graduate logic seminar, where selected topics in set theory are presented. Initially I was funded by these teaching duties. For the academic years 2008-2010 I was funded by a DFG-NWO collaboration grant between Benedikt Löwe in Amsterdam and Peter Koepke in Bonn, entitled "Infinitary combinatorics without the axiom of choice". At the end of the summer semester 2009, together with Arthur Apter, Peter Koepke, and Benedikt Loewe, we organised the first workshop of this collaboration project.

I have co-authored a couple of papers published in logic journals, I refereed one paper in a mathematical logic journal, and I have a few projects on the way (see label "publications"). I am currently at the end stages of my PhD project. My thesis involves a detailed study of several patterns of singular cardinals under the negation of the axiom of choice, and some results on the surprisingly low consistency strength of higher Chang's conjectures without the axiom of choice.

I am a member of the DVMLG (Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften).

Finally, my native tongue is Greek, and my mother's native is Chilean Spanish (I was bilingual as a young child). I am very fluent in English, and I have some intermediate skills in German, which I am constantly improving on. I have only beginner skills in Dutch.