Bonn Mathematical Logic Group

Ioanna Matilde Dimitríou

PhD student of Prof.Dr. Peter Koepke

office: Beringstrasse 4, Room 42, tel: +49 (0) 228 73 6863
mailing address: Beringstrasse 1, D-53115 Bonn, Germany
email: dimitri at math dot uni-bonn dot de

Please also visit my personal homepage

 

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
Arthur Apter and Ioanna Dimitriou
In preparation.
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

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 activities

 

Curriculum vitae

Member of BIGS BIGS

Member of the ASL Association for Symbolic Logic