Papers

The Model-Theoretic Covering-Reflection Property, Joel D. Hamkins, Nai-Chung Hou, Andreas Lietz and Farmer Schlutzenberg, in preparation. Abstract

Infinite Hat Problems and MInA Cardinals, Andreas Lietz and Jeroen Winkel, in preparation. Preprint, Abstract

More Instances of $\mathrm{MM}^{++}\Rightarrow(*)$, Andreas Lietz, in preparation. Abstract

Forcing "\(\mathrm{NS}_{\omega_1}\) is \(\omega_1\)-Dense” from Large Cardinals., Andreas Lietz, Submitted. Preprint, Abstract

An Iteration Theorem for $\omega_1$-Preserving Forcings, Andreas Lietz, Submitted. Preprint, Abstract

The Axiom of Choice in the $\kappa$-Mantle, Andreas Lietz, Submitted. Preprint, Abstract

Further Writing

A Journey Guided by the Stars, my dissertation. PDF Abstract

Forcing $(*)$ from less than a Supercompact, Andreas Lietz and Ralf Schindler. PDF Abstract

$(\prod_{i<\kappa}x(i), \leq^\ast)$ and its bounding number. PDF Abstract

The Problem with Exercise 34.5, PDF Abstract

Set-Theoretic Geology, my Master thesis written at the university of Bonn. PDF Abstract

Future Talks

European Set Theory Conference, Münster, September 2024

Inner Model Theory Conference, Vienna, June 2024

Young Set Theory Workshop, Budapest, June 2024

2nd Wrozław Logic Conference, Wrozław, May 2024

Conference Talks

International Luminy Workshop in Set Theory, Marseille, October 2023, A Journey Guided by the Stars.

ÖMG Tagung 2023, Graz, September 2023, Forcing "\(\mathrm{NS}_{\omega_1}\) is \(\omega_1\)-dense” from large cardinals.

Omega to Omega, Singapore, July 2023 \(\mathbb Q_{max}-(*)\) is a Forcing Axiom. Two part talk.

Logic Colloquium 2023, Milano, June 2023, Forcing "\(\mathrm{NS}_{\omega_1}\) is \(\omega_1\)-dense” from large cardinals.

Münster Conference on Inner Model Theory, Münster, June 2022, More Instances of \(\mathrm{MM}^{++}\Rightarrow(*)\).

Luminy Talk

You can watch my talk in Luminy here:

Workshop Tutorials

IMPAN Dense Ideals Workshop, Gdańsk, May 2023, Forcing $\mathrm{NS}_{\omega_1}$ to be dense.

Seminar Talks

Carnegie Melon University, Core Model Seminar, January - February 2024, Forcing "$\mathrm{NS}_{\omega_1}$ is $\omega_1$-dense" from Large Cardinals. Three part talk. Key Notes, Slides Part II, Slides Part III

University of Vienna Logic Colloquium, The Model-Theoretic Covering-Reflection Property

Kobe University, Kobe Set Theory Seminar, June 2023 Forcing "$\mathrm{NS}_{\omega_1}$ is $\omega_1$-dense" from Large Cardinals. Two part talk.

University of Barcelona, Barcelona Set Theory Seminar, February 2023, Forcing "$\mathrm{NS}_{\omega_1}$ is $\omega_1$-dense" from Large Cardinals.

City University of New York, Set Theory Seminar, November 2022, Forcing "$\mathrm{NS}_{\omega_1}$ is $\omega_1$-dense” from large cardinals. Two part talk.

University of Münster, Research Seminar Set Theory, May-June 2022, More Instances of \(\mathrm{MM}^{++}\Rightarrow(*)\). Three part talk.

University of Münster, Research Seminar Set Theory, October 2021, $(\prod_{i<\kappa}x(i), \leq^\ast)$ and its bounding number.

University of Münster, Research Seminar Set Theory, May 2021, How to force $(\ast)$ from less than a supercompact.

University of Münster, Research Seminar Set Theory, January 2019, The $\kappa$-Mantle

University of Münster, Research Seminar Set Theory, April 2018, Set-Theoretic Geology