Disclaimer: the notes (not slides) are written in a somewhat loose way and might contain typos (in case you've found some, feel free to tell me).
I've uploaded them nevertheless, since one might use them as a short condensed list of facts and proof ideas.


GLP and Large Cardinals
The Casa Matemática Oaxaca (CMO), Infinitary Proof Theory: Techniques and Applications, August 2025

Stationary reflection under AD and provability logic
TU Wien, Logic Colloquium, July 2025

Strong completeness below GLP
Ghent University, Wormshop 2024 , Sep. 2024
[one can find the abstract here]

Strong Kripke Completeness of the Closed Fragment of GLP
Faculty of Arts, Charles University, AiML 2024 , Aug. 2024
[one can find the abstract here]

Completeness of the GL.3 provability logic for the intersection of normal measures
The University of Barcelona, TACL 2024: Topology, Algebra, and Categories in Logic, Jul. 2024
[one can find the abstract here]

Fine structure and mice with Woodin cardinals in a nutshell. The mouse $M_\omega$
TU Wien, Inner Model Theory HOD Computations, Oct. 2023

Strong completeness below GLP
TU Wien, Trends in Proof Theory (TIPS), Feb. 2024

Non-deteministic semantic for S4 modal logic
TU Wien, Computational Logic Seminar, Oct. 2022

On topological properties of quantum channels
MI RAS, 2022











[main page]