Aguilera Juan Pablo

Presentations in Math-Net.Ru

1. Dilators and $\Pi_2^1$-ordinal analysis, Part III
   J. P. Aguilera
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 11, 2023 18:30   
2. Dilators and $\Pi_2^1$-ordinal analysis (continuation)
   J. P. Aguilera
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 4, 2023 18:30   
3. Dilators and $\Pi_2^1$-ordinal analysis
   J. P. Aguilera
   Seminars "Proof Theory" and "Logic Online Seminar"
   November 6, 2023 18:30   
4. Non-linearities in the analytical hierarchy
   J. P. Aguilera
   Seminars "Proof Theory" and "Logic Online Seminar"
   May 23, 2023 18:30