Alexander I. Bufetov is supported by a grant of the Government of the Russian Federation for the state support of scientific research, agreement 075-15-2021-602.
Alexander I. Bufetov has also been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (Grant agreement n 647133 - IChaos).
The work of Fedor Pakhomov has been funded by the FWO grant G0F8421N.
Поступила в редакцию: 28.07.2022 Исправленный вариант: 11.05.2023 Принята в печать: 22.08.2023
Тип публикации:
Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/apal5
Эта публикация цитируется в следующих 1 статьяx:
David Fernández-Duque, Andreas Weiermann, “A Walk with Goodstein and Ackermann”, Notre Dame J. Formal Logic, 65:2 (2024)