A. Freund, F. Pakhomov, “Short proofs for slow consistency”, Notre Dame J. Formal Logic, 2020, Volume 61, Issue 1,Pages <nobr>31

JOURNALS // Notre Dame Journal of Formal Logic // Archive

Notre Dame J. Formal Logic, 2020, Volume 61, Issue 1, Pages 31–49 (Mi ndjfl1)

This article is cited in 2 papers

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

Received: 05.05.2018
Accepted: 27.09.2018

Language: English

DOI: 10.1215/00294527-2019-0031

Bibliographic databases:

ArXiv: 1712.03251