RUS  ENG
Полная версия
ЖУРНАЛЫ // Archive for Mathematical Logic // Архив
Arch. Math. Logic, 2020, том 59, страницы 979–996 (Mi aml3)
Local reflection, definable elements and 1-provability

Evgeny Kolmakovab

a Lomonosov Moscow State University, Moscow, Russia
b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia

Поступила в редакцию: 15.07.2019
Принята в печать: 18.03.2020

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

DOI: 10.1007/s00153-020-00732-9



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

© МИАН, 2024