I've uploaded them nevertheless, since one might use them as a short condensed list of facts and proof ideas.

On topological properties of quantum channels

Non-deteministic semantic for S4 modal logic

Fine structure and mice with Woodin cardinals in a nutshell. The mouse $M_\omega$

Strong completeness below GLP

Completeness of the GL.3 provability logic for the intersection of normal measures

[one can find the abstract here]

[main page]