RUS
ENG
Полная версия
ЖУРНАЛЫ
// Notre Dame Journal of Formal Logic
// Архив
Notre Dame J. Formal Logic, 2020, том 61, выпуск 1,
страницы
31–49
(Mi ndjfl1)
Эта публикация цитируется в
2
статьях
Short proofs for slow consistency
A. Freund
a
,
F. Pakhomov
b
a
Fachbereich Mathematik, Technische Universitдt Darmstadt, Darmstadt, Germany
b
Steklov Mathematical Institute, Russian Academy of Sciences, Moscow, Russian Federation
Поступила в редакцию:
05.05.2018
Принята в печать:
27.09.2018
Язык публикации:
английский
DOI:
10.1215/00294527-2019-0031
Список цитирования
Реферативные базы данных:
ArXiv:
1712.03251
©
МИАН
, 2026