|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
1. |
J. P. Aguilera, F. Pakhomov, “The $\Pi^1_2$ consequences of a theory”, J. London Math. Soc., 107:3 (2023), 1045–1073 |
2
|
2. |
J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020–11 |
3. |
J. P. Aguilera, F. Pakhomov, “The spectrum of $\Pi^1_3$-soundness”, Philos. Trans. R. Soc. A, 381 (2023), 20220013–18 |
1
|
|
Presentations in Math-Net.Ru |
|
|
Organisations |
|
|
|
|