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. Freunda, F. Pakhomovb

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