Welcome to my personal webpage!

I am a Special Scientist (teaching associate) in the University of Cyprus. This semester I am teaching

I am also doing research in set theory, an area of mathematical logic. Most of my research has to do with the interaction between large cardinals and forcing, as a means to explore the limitations of the standard axiomatic system ZFC or to find the consistency strength of various mathematical statements.

In my thesis I devised a new large cardinal notion, obtained by “Woodinising” strongly compact cardinals. Although this notion is a very powerful form of strong compactness, it still inherits the identity crisis feature of strongly compact cardinals. However, it is a reasonable large cardinal notion, as it resembles the well-known notions of Woodin and Vopěnka cardinals.

I plan to continue my research on the concept of strong compactness and study its connections with combinatorics and topology.

- Set theory
- Mathematical logic
- Science communication

While I was creating the publication entry for the recent submitted preprint joint with A. W. Apter and T. Usuba, I decided it is worth writing a separate blogpost explaining how our results extend an ongoing problem in set theory, the violation of GCH at large cardinals from optimal assumptions.

In this blog post I will travel back to the 70s and discuss about a result that appeared here. Briefly, the result says that we can always find fast functions for strongly compact cardinals which are limits of strongly compact cardinals, without the need to force one.

Time for the first ever blog post! And it is about one of my favourite topics, the preservation of large cardinals through forcing.
The motivation behind this post, is a discussion I had with James Cummings in the “Set theory today” conference that took place in the KGRC in Vienna last week.