Aguilera Juan Pablo

Publications in Math-Net.Ru

1. Functorial fast-growing hierarchies
   
   Forum Math. Sigma, 12 (2024),  15–16
2. The $\Pi^1_2$ consequences of a theory
   
   J. London Math. Soc., 107:3 (2023),  1045–1073
3. Modern perspectives in Proof Theory
   
   Philos. Trans. R. Soc. A, 381 (2023),  20220020–11
4. The spectrum of $\Pi^1_3$-soundness
   
   Philos. Trans. R. Soc. A, 381 (2023),  20220013–18