J. P. Aguilera

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.

Some Articles

Structural Proof Theory

Provability Logic and Logics of Proofs



Fall 2018. Seminar in Mathematical Logic (co-organized with Jan Bydžovský)

Spring 2018. Ordinal Analysis and Consistency Proofs.