Disclaimer: the notes (not slides) are written in a very loose way and probably full of 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.


TBA
TU Wien, Computational Logic Seminar, Fall 2024

TBA
University of Warsaw, Implicit Seminar, Fall 2024

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]