Ιωάννα

Introduction to symmetric models and the approximation lemma - update

2010-03-11T13:24:00.004+01:00

Click here for a slightly updated version of the tutorial "Introduction to symmetric models and the approximation lemma". I have added some more history on the symmetric model technique, with bibliography, taken mainly from Jech's latest 'Set Theory'. Also I renamed 'usable symmetry generators' to 'projectable symmetry generators', to avoid sentences of the form '...we'll use the usable...' and because the name 'projectable' is a more appropriate name. Finally I tidied up the 'approximation' term overload of pages 6-7.

Introduction to symmetric models and the approximation lemma.

2009-10-07T19:20:00.003+02:00

Last June, 2009, I gave a lecture on how to construct symmetric models at the Universiteit van Amsterdam. One student attended, Rogier Jacobs, and him I have to thank for attending and giving his input on the first version of the lecture notes. Here you can find the 'final' version of these notes:

Tutorial on symmetric models and the approximation lemma.

The notes assume basic knowledge of set theory and forcing, as given in Kunens "Set Theory", up to Chapter VII. In them it's shown how to construct symmetric models, and three basic examples are given. These are:

the Feferman-Lévy model, where ω₁ is singular and the reals are a countable union of countable sets,
a generalisation of the Jech model, where a successor cardinal is measurable, and
a similar model to the Jech model, where a successor cardinal is weakly compact.

Soon there will be a follow-up note, with a small fragment of Gitik's construction in "All uncountable cardinals can be singular". In this small version of it, only one strongly compact cardinal is used (as opposed to the class of strongly compacts in Gitik's model), and the result is a symmetric model in which ω₁ is singular. Clearly this isn't an interesting result per se, but it will be presented as an introduction to the full Gitik construction. So there will be more notes appearing here, with the final goal of presenting Gitik's model where all uncountable cardinals are singular.

Comments on the pdf, and solved exercises for correction are very welcome!

Combinatorial principles in ZFC

2009-04-06T19:05:00.003+02:00

The mathematical institute of Bonn has moved to a new, better building and today is the first day that our offices are usable. To celebrate, here's a chart of some direct implications between combinatorial principals in ZFC. This will be updated to include more principles.

welcome!

2009-02-28T16:49:00.013+01:00

Welcome to my new personal space. This is intended as a long term solution to my professional internet space needs, independent from the university with which I am affiliated at any time. Don't get me wrong, I am a team player and currently am devoted to the mathematical logic group of Bonn:

But official spaces tend to be a little formal and I don't prefer formal. This website is in fact a blog. I chose this format because it's the easiest to update and it looks very good with minimal effort. On the right hand side you can use the "labels" as my menu. I plan to post news on my research projects and plans every semester or so, in hopes of attracting future collaborators. Please, feel free to email me or leave comments on my posts.

Thanks for reading,
Ioanna.

curriculum vitae

2009-02-28T16:15:00.010+01:00

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 an active 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 but now I am 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". This semester, together with Arthur Apter, Peter Koepke, and Benedikt Loewe, we are organising 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 writing up my PhD thesis, that 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 ASL (Association for Symbolic Logic), BIGS (Bonn International Graduate School), and 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 to beginner skills in Dutch and German.

books I want

2009-02-28T16:13:00.001+01:00

This is a list with books I really want to own but still I don't. My birthday is at the 27th of November :)

Handbook of Mathematical Logic, edited by Jon Barwise,
~~Set theory by Thomas Jech, 3rd edition~~,
Set theory by Thomas Jech, 1st edition,
Set theory, an introduction to independence proofs by Kenneth Kunen,
Consequences of the axiom of choice by Paul Howard and Jean E. Rubin,
The axiom of choice by Thomas Jech, Thanks to Ben, Daisuke, Merlin, and Thilo!!
Constructibility by Keith Devlin, the '84 book!

master's thesis

2009-02-28T16:12:00.004+01:00

"Strong limits and inaccessibility with non-wellorderable powersets''

My master's thesis at the ILLC. The thesis discusses four notions of inaccessibility that are equivalent in ZFC. It is shown that three of them are pairwise not equivalent in ZF alone. The separation of the fourth notion comes from Blass and it's discussed in the resulting paper. The main technique used is the technique of symmetric models. Its publication number in the ILLC publication series is MoL-2006-3.

second order arithmetic

2009-02-28T15:53:00.003+01:00

Topological regularities in second order arithmetic.: Ioanna Dimitriou, Peter Koepke, Michael Möllerfeld
In preparation.

This is a project of Peter Koepke with Michael Möllerfeld which I helped round up. See also these slides.

results from my master's

2009-02-28T15:51:00.003+01:00

Inaccessible cardinals without the axiom of choice.: Andreas Blass, Ioanna M. Dimitriou, Benedikt Löwe
Fundamenta Mathematicae , vol.194, pp. 179-189

This is the paper with the main results from my master's thesis plus the answer to my open question, given by Blass.

the first paper

2009-02-28T15:47:00.002+01:00

PDL for Ordered Trees: Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke.
Journal of Applied Non-Classical Logics 15(2): 115-135 (2005)

This is the first paper I participated in as a master's student in the ILLC.

official statement of my PhD project

2009-02-28T15:35:00.002+01:00

Many combinatorial principles attain their set theoretic strength only in the presence of the axiom of choice. Without it, it is possible that small cardinals like ω₁ can have large cardinal properties like being measurable or satisfying strong partition properties. The intended research area is to determine the consistency strengths of various infinitary combinatorial properties with respect to the Zermelo-Fraenkel axioms ZF, i.e., without the axiom of choice. This is a wide field, since the classical questions about generalised Chang's conjectures, ℵ_ω being Jonsson or Rowbottom, mutual stationarity, pcf-theory and others can be examined from this perspective.

Peter Koepke is working in this area together with Arthur Apter, CUNY. The PhD project will be embedded into this collaboration. The work will combine forcing techniques and inner model arguments. We indicate this in the case of a simple example: To prove the conjecture that Chang's conjecture (ω₃, ω₂) --> (ω₂, ω₁) with ZF is equiconsistent with the existence of an ω₂-Erdos cardinal, one uses forcing techniques of Apter and inner model techniques of Koepke. An ω₂-Erdos cardinal is collapsed by a symmetric subcollapse of a Levy collapse to ω₃. Conversely, one applies the Chang property, moves to a submodel with the axiom of choice which contains the Chang substructure, and applies known core model techniques. The PhD project will involve studying several such properties of increasing degrees of complexity.

New space!

2009-02-28T15:28:00.000+01:00

Welcome to my new personal space. First, I'll transfer the old files as posts from my previous webpage. Then I'll give you a proper welcome.

research update

2008-09-01T15:43:00.001+02:00

The plan for last semester was to finish a chapter in choiceless higher Chang conjectures. There was a change of plans when (luckily) Arthur Apter asked me to give a talk explaining the construction in Gitik's "All uncountable cardinals can be singular". Trying to simplify the construction I was busy with it all semester. I managed to simplify it only a little bit, in that requirement (4) in the definition of P₂ wasn't really necessary and the proof of ZFC-powerset in the generic extension is replaced by a proof that the forcing is pretame. Moreover now the construction is more susceptible to modifications. This together with some applications of this construction are going to be part of my upcoming PhD thesis. Recent estimates for my graduation are April to May 2009.

Right now I'm finally finishing up the chapter on the higher Chang conjectures. I will give a talk about that in the Colloquium Logicum 2008, next week in Darmstadt. Also, it turns out that Gitik's "everything singular"-method had something to say about these Chang conjectures too. What a great construction!

research update

2008-02-27T15:38:00.003+01:00

Last semester I've learned a bit more of fine structure theory from Peter Koepke's lecture and the next I'll be employed for the graduate seminar which will focus on fine structure theory. Still though I am reading more about Radin forcing whilst trying to finish what I hope to be an entire chapter in my PhD thesis. It's going to be an analysis of the consistency strengths of as much higher choiceless Chang's conjectures I possibly can (and it seems there will be at least a narrow gap between the upper and lower bound for most of them). Last summer I have read and almost entirely understood Gitik's paper "All uncountable cardinals can be singular", a very interesting and involved construction indeed.

In general, I do set theory without choice, and in particular infinitary combinatorics and large cardinals without choice. As Mitchell Spector says in his "Ultrapowers without the axiom of choice", most set theorists strongly prefer working with choice when dealing with large cardinals because of the importance of the ultrapower construction and the fact that the fundamental theorem for these constructions fails without DC. Many of the symmetric models I work with satisfy DC and more. For me the ones that don't are a welcome challenge.

AD or AC?

2007-10-28T16:04:00.000+01:00

the diagram

A fancy diagram of the consequences of real choice. This was part of a project during my masters' studies at the ILLC concerning the relationship between choice and determinacy. I gave a talk on that project at the Logic Colloquium 2005 in Athens. Later on it may be modified to include RGB colouring according to compatibility with determinacy. Red will mark an incompatible with AD fragment, green a fragment that is also fragment of AD and blue will mark consistency and/or independence from AD. Any comments will be very welcome. References will be given after request.

second order arithmetic talk

2007-10-26T15:56:00.002+02:00

GLLC 14½ talk: Topological regularities in second order arithmetic

I am very happy that I was invited at the “Games in Logic, Language and Computation 14½" meeting at the ILLC in Amsterdam (where I finished my masters) to give this talk. 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.

logic colloquium 2007

2007-08-28T15:58:00.001+02:00

LC2007 talk: Equiconsistency of choiceless higher Chang conjectures with one Erdos 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 session

2007-06-28T15:59:00.003+02:00

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.