A. Lietz

collaborators

2 papers

math.LO2025

Separating Maximality Principles

Takehiko Gappo, Andreas Lietz

We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of $I^£_{n}$ - $MP (R)$ and $I^_{n}$ -$\ma…

math.LO2024

Infinite Hat Problems and Large Cardinals

Andreas Lietz, Jeroen Winkel

Picture countably many logicians all wearing a hat in one of $I^º$ -many colours. They each get to look at finitely many other hats and afterwards make finitely many guesses for thei…