• Home
  • Research
  • About
  • Contact
  • Mehr
    • 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.


Feel free to get in touch if you're interested in Bachelor, Masters, or PhD projects, or in a short postdoc or visiting position in any of my areas of interest.

Recent and upcoming talks

  • The Pi12 Spectrum Conjecture. Special Session on Proof Theory at the Logic Colloquium in Reykjavik. June 28th, 2022.
  • The Metamathematics of PI12 Sentences. Logic Colloquium at the University of Vienna, June 2nd, 2022.
  • Clopen determinacy versus open determinacy, at the Ghent Logic Seminar. December 16th, 2021.
  • The Pi12 Consequences of a Theory, at the Bristol Logic Seminar. December 15th, 2021.
  • Indiscernibility Spectra, at the Münster Set Theory Seminar. December 8th, 2021.
  • Tutorial on Π12 Proof Theory, at the Proof Society Winter School in Madeira. November 29-December 3, 2021.

 

Teaching

Fall 2020. Set Theory (UGent).


Fall 2019. 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