J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 2023, Volume 381,Pages <nobr>20220020–11</nobr>

RUS ENG

JOURNALS // Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences // Archive

Philos. Trans. R. Soc. A, 2023, Volume 381, Pages 20220020–11 (Mi phila2)

Modern perspectives in Proof Theory

J. P. Aguilera^ab, F. Pakhomov^bc, A. Weiermann^b

^a Institute of Discrete Mathematics and Geometry, Vienna Universityof Technology, Wiedner Hauptstraße 8–10, 1040 Vienna, Austria
^b Department of Mathematics, University of Ghent, Krijgslaan281-S8, B9000 Ghent, Belgium
^c Division of Mathematical Logic, Steklov Mathematical Institute ofthe Russian Academy of Sciences, Ulitsa Gubkina 8, 117966 Moscow,Russia

Received: 06.03.2023
Accepted: 06.03.2023

Language: English

DOI: 10.1098/rsta.2022.0020

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026