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.


Mice meet worms: topological semantics for the logic of correct submodels
TU Wien, Scott analysis. Foundational theories and related topics, April 2026

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]