Juan P. Aguilera

Current affiliations

I am a Project Leader at the Institute of Discrete Mathematics and Geometry of the Vienna University of Technology, Austria, where I am the Principal Investigator of FWF projects TAI-797, ESP-3, and P36837.

I am also a Project Leader at the Kurt Gödel Research Center of the University of Vienna, where I hold an APART-MINT fellowship of the Austrian Academy of Sciences.

Moreover, I am an FWO fellow (on leave) at the Department of Mathematics of Ghent University, Belgium.

Contact

For mathematical or academic matters: last name at logic.at

For university-related matters: firstname.lastname at {tuwien.ac.at,ugent.be,univie.ac.at}

For miscellaneous 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.

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

Seminars

Computational Logic Seminar at TU Wien.

Set Theory and Algebra seminars at TU Wien.

Logic seminars at the University of Vienna.

Ghent Mathematical Logic Seminar at Ghent University.

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.

Recent and upcoming talks

Invited speaker at the conference on Topology, Algebra, and Categories in Logic. Barcelona, July 1–5, 2024.
TBA.
Plenary speaker at the 30th Workshop on Logic, Language, Information, and Computation. Bern, June 10–13, 2024.
TBA.
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.
TBA.
Meeting of the Belgian Mathematical Society. December 20th, 2023.
The smallest sigma-algebra closed under continuous functions.
Steklov Logic Online Seminar. December 11, 2023.
Pi12 Proof-Theoretic Analysis, Part III.
Steklov Logic Online Seminar. December 4, 2023.
Pi12 Proof-Theoretic Analysis, Part II.
TU Wien Computational Logic Seminar. November 29, 2023.
The compactness number of Gödel logic.
Oberwolfach workshop "Mathematical Logic: Proof Theory, Constructive Mathematics." November 12–17, 2023.
Determinacy and Pi1n-CA.
Steklov Logic Online Seminar. November 6, 2023.
Pi12 Proof-Theoretic Analysis, Part I.
Workshop on Proof Theory, Modal Logic and Reflection Principles. Bern, Switzerland. October 31st–November 3rd, 2023.
The correct-model interpretation of modal logic.
5th Workshop on Digitalization and Computable Models. Astana, October 4, 2023.
Determinacy in Second-Order Arithmetic.
Meeting of the German Mathematical Society. Ilmenau, September 25–28.
Some results on Gödel logics.
British Logic Colloquium. Bristol, September 7–8, 2023.
Some results on Gödel logics.
Hamburg Logic Seminar. July 7th, 2023.
Indiscernibility Spectra.
Ghent Logic Seminar. June 29th, 2023.
Monotone versus non-monotone operators.
Wuhan Logic Lecture Series. June 7th, 2023.
Soundness Spectra.
Hamburg Logic Seminar. June 2nd, 2023.
Closure ordinals of inductive definitions.
Logic Online Seminar. May 23rd, 2023.
Non-linearities in the Analytical Hierarchy.
Talk at the Faculty of Mathematics and Geoinformation of TU Wien. April 28th, 2023.
Functorial Proof Theory
Computability Theory and Applications online seminar. April 4th, 2023.
Determinacy in Second-Order Arithmetic.
Bristol logic seminar. March 22nd, 2023.
A generalization of Borel Determinacy.
LSE Seminar on Games and Optimization. March 16th, 2023.
Generalizations of Borel Determinacy.
Set Theory in the UK. Cambridge, March 7th, 2023.
Non-linearities in the analytical hierarchy, II.
Arctic Set Theory Workshop. Kilpisjärvi, February 24th, 2023.
Winning strategies for Borel games.
Leeds Logic Seminar. February 8th, 2023.
Non-linearities in the analytical hierarchy.
Warsaw Logic Seminar. January 25th, 2023.
Pi12 Proof Theory.
Trends in Proof Theory. Ghent. January 16-17th, 2023.
The Pi12 Soundness Ordinal.