Aguilera Juan Pablo

Публикации в базе данных Math-Net.Ru

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