Location: Krijgslaan 281. Building S8, top floor. Room: Vgz 3.2.
Partially supported by FWO grant G0F8421N.
The Pi12 Soundness Ordinal.
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of Pi11CA0.
From three to infinity: the strength of better quasi orders.
Hereditarily countable sets with urelements in a quasi-order.
An expressively complete tangle operator for the topological μ-calculus.
New results regarding Friedman's Bolzano Weierstrass Principle.
Kripke semantics augmented with provability, a hybrid semantic for intuitionistic modal logics.
On Inverse Goodstein Sequences.
The reverse mathematical strength of hyperations.
On the reverse mathematics of some results of bqo theory.
Maximal order types of leaf-labelled finite trees.