• Home
  • Research
  • About
  • Contact
  • More
    • Home
    • Research
    • About
    • Contact
  • Home
  • Research
  • About
  • Contact

Juan P. Aguilera

Current affiliations

Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria.
 

Department of Mathematics, Ghent University, Belgium.

Research interests

All areas of Mathematical Logic, including Proof Theory; Set Theory; Recursion Theory; Model Theory; non-classical, many-valued, and modal logics; as well as interactions between these areas.

Recent and upcoming talks or presentations

  • Tutorial on Π12 Proof Theory, at the Proof Society Winter School in Madeira. November 29-December 3, 2021.
  • Between the Finite and the Infinite, at the Tag der Mathematik, University of Vienna. November 19, 2021.
  • Determined Admissible Sets, at the Best Paper Award Ceremony. TU Vienna, October 27, 2021.
  • Real Determinacy in Admissible Sets, at the Caltech Logic Seminar. October 20, 2021.
  • The Π12-Soundness Spectrum, at the BIRS workshop "New Frontiers in Proofs and Computation." September 14, 2021.
  • The Π12 Consequences of a Theory, at the Workshop on Gödel's Incompleteness Theorems in Wuhan, China. August 18, 2021.

 

Teaching

Fall 2020. Set Theory (UGent).


Spring 2019. Seminar in Mathematical Logic (TU Wien).


Fall 2018. Seminar in Mathematical Logic (TU Wien).


Spring 2018. Ordinal Analysis and Consistency Proofs (TU Wien).

Cookie Policy

This website uses cookies. By continuing to use this site, you accept our use of cookies.

Accept & Close