Vienna University of Technology,

Institute of Discrete Mathematics and Geometry,

Wiedner Hauptstrasse 8–10,

1040 Vienna, Austria.

Email: surname at logic.at

Research Interests: mathematical logic, set theory, proof theory.

- Sigma-Projective Determinacy. [pdf]
- Determinate Logic and the Axiom of Choice. [pdf]
- (with David Fernández-Duque) Verification Logic. J. Log. Comput., 2017. [link]
- (with Matthias Baaz) Unsound Inferences Make Proofs Shorter. [pdf]
- (with Matthias Baaz) Ten Problems in Gödel Logic. Soft Comput., 2017. [pdf]
- (with Levent Ülkü) On the Maximization of Menu-Dependent Interval Orders. S. Choice Welf., 2017. [link]
- (with David Fernández-Duque) Strong Completeness of Provability Logic for Ordinal Spaces. J. Symb. Logic, 2017. [arxiv]

Spring 2018. Ordinal Analysis and Consistency Proofs.