RUS  ENG
Полная версия
ЖУРНАЛЫ // Annals of Pure and Applied Logic // Архив
Ann. Pure Appl. Logic, 2014, том 165, выпуск 1, страницы 82–105 (Mi apal1)
Эта публикация цитируется в 15 статьях

Positive provability logic for uniform reflection principles

L. Beklemishevabc

a Steklov Mathematical Institute, Russian Academy of Sciences, Gubkina str. 8, 119991, Moscow, Russia
b National Research University Higher School of Economics
c Moscow M.V. Lomonosov State University

MSC: 03F45, 03B45, 03F30, 03D15

Язык публикации: английский

DOI: 10.1016/j.apal.2013.07.006



Реферативные базы данных:

© МИАН, 2024