Juan P. Aguilera

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.

Trends in Proof Theory 2023, Ghent University.

Recent and upcoming talks

Oberwolfach workshop "Mathematical Logic: Proof Theory, Constructive Mathematics." November 12–17, 2023.
5th Workshop on Digitalization and Computable Models. Astana, October 2–6, 2023.
TBA
British Logic Colloquium. Bristol, September 7–8, 2023.
TBA.
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.
CaDProBI Workshop. Hamburg. January 11-13th, 2023.
Ghent Logic Seminar. November 17th, 2022.
Determinacy in Second-Order Arithmetic.
Proof Society Workshop in Utrecht. November 11th, 2022.
Proof Theory of Pi12-Unsound Theories.
Barcelona Set Theory Seminar. October 26th, 2022.
Determinacy on the Edge of Second-Order Arithmetic.

Juan P. Aguilera

Affiliations

Research interests

Recent and upcoming talks

Teaching

Cookie Policy