RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив
Матем. заметки, 1983, том 33, выпуск 6, страницы 915–927 (Mi mzm5763)
Эта публикация цитируется в 1 статье

О расширении логики доказуемости

А. Ю. Муравицкий


Аннотация: Доказывается существование континуума непротиворечивых расширений логики доказуемости, а также что класс магариевых алгебр, логики которых суть расширения логики доказуемости, не является универсально аксиоматизируемым. Библ. 5 назв.

УДК: 517.11

Поступило: 30.12.1981


 Англоязычная версия: Mathematical Notes, 1983, 33:6, 469–475

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

© МИАН, 2024