• Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks
  • Mehr
    • Home
    • Research
    • People
    • Short CV
    • Grants
    • Teaching
    • Talks
  • Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks

Juan P. Aguilera

Contact

Institute of Discrete Mathematics and Geometry, 

TU Wien.

Wiedner Hauptstrasse 8–10, 1040 Vienna, Austria.


For mathematical or academic matters: [lastname] at [logic dot at]

For other matters: [contact] at [thisdomain] (.ag; see url)

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 and applications to Computer Science, Artificial Intelligence, and Economics.

Some links of interest

Our special issue of Philosophical Transactions of the Royal Society [vol. 281, issue 2248, May 2023] on Modern Perspectives in Proof Theory has now been published on the Royal Society's website. See the blog post.

Events

Dagstuhl workshop "Arithmetical and Modal mu-Calculi: Recent and Future Advances." January 26–30, 2026.
 

Young Set Theory 2025. TU Wien, September 8–12, 2025.

ESI trimester on Reverse Mathematics, June 23th–August 29th, 2025. Erwin Schrödinger Institute, University of Vienna.
 
Logic Colloquium 2025. TU Wien, July 7–11th, 2025.
  

BIRS Workshop on Infinitary Proof Theory: Techniques and Applications at CMO. August 10–15, 2025.

Recent and upcoming talks

  • Invited speaker at the Proof Society Meeting. Ghent University. September 1–5. 2025.
    tba.
     
  • TU Wien Algebra Seminar. May 16, 2025.
    Ex-logic.
     
  • ITAM Mathematics Seminar, Mexico City. April 25, 2025.
    tba.
     
  • Post-Arctic Set Theory Workshop Workshop. University of Helsinki. February 2025.
    Ultraexacting cardinals and the HOD Conjecture.
     
  • Arctic Set Theory Workshop. Kilpisjärvi. February 2025.
    Local Hanf-Tarski numbers.
     
  • Logic seminar. University of Hamburg. January 31, 2025.
    Local Hanf-Tarski numbers.
     
  • Computer Science seminar. University of Innsbruck. January 16, 2025.
    Fundamental Logic.
     
  • Theoretical Computer Science seminar. University of Innsbruck. January 15, 2025.
    Model theory of Gödel logics.
     
  • Winter school on Logic and Set Theory. Morelia, December 2–6, 2024.
    Mini-course on Model Theory of Infinitary Logic.
     
  • European Set Theory Conference. Münster, September 19, 2024.
    Ultraexact cardinals, structural reflection, and the HOD Conjecture.
      
  • Invited speaker at the 7th Workshop on Proof Theory, Modal Logic, and Reflection Principles, Ghent, September 2–5, 2024.
    New models of GL.3.
     
  • Invited speaker at the conference on Topology, Algebra, and Categories in Logic. Barcelona, July 1–5, 2024.
    Pi12 Proof Theory.
     
  • Plenary speaker at the 30th Workshop on Logic, Language, Information, and Computation. Bern, June 12, 2024.
    Model Theory of Gödel Logic.
     
  • Tutorial at the 30th Workshop on Logic, Lauage, Information, and Computation. Bern, June 12, 2024.
    First-Order Gödel Logic.
      
  • Indian School of Logic and Applications. Goa, June 3–8, 2024.
    Tutorial on Infinite Game Theory.
     
  • Invited Speaker at the 17th International Conference on Computability, Complexity and Randomness. Nagoya, March 11–15, 2024.
    Determinacy in Second-Order Arithmetic.
     
  • Trends in Proof Theory 2024. February 7th, 2024.
    A new proof of Aanderaa's theorem.

 

© 2019–2024 All rights reserved. Photographs not on the home page are © FWF/Ulrich Zinell, Gerd Schneider, Klaus Ranger.

Cookie Policy

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

Accept & Close