J. P. Aguilera, F. Pakhomov, “The spectrum of <nobr>$\Pi^1_3$</nobr>-soundness”, Philos. Trans. R. Soc. A, 2023, Volume 381,Pages <nobr>20220013–18</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 20220013–18 (Mi phila1)

This article is cited in 1 paper

The spectrum of $\Pi^1_3$-soundness

J. P. Aguilera^ab, F. Pakhomov^bc

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

Received: 12.08.2022
Accepted: 21.12.2022

Language: English

DOI: 10.1098/rsta.2022.0013

Cited by

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026