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.

Journal papers

  • 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. To appear in J. Symbolic Logic. [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. Symbolic Logic, 2017. [arxiv]