Welcome to my personal space

I'm currently writing up a PhD thesis at the mathematical logic group of Bonn. My Doktorvater is Prof. Peter Koepke.

office: Endenicher Allee 60, room 402, tel: +49 (0) 228 73 3791
mailing address: Endenicher Allee 60, D-53115 Bonn, Germany
e-mail: dimitri at math dot uni-bonn dot de

Sunday 28 October 2007

AD or AC?

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.

No comments:

Post a Comment