RUS
ENG
Полная версия
ЖУРНАЛЫ
// Алгебра и логика
// Архив
Алгебра и логика,
1991
, том 30,
номер 3,
страницы
333–354
(Mi al2154)
Эта публикация цитируется в
2
статьях
О числах Левенгейма для скелетов многообразия булевых алгебр
А. Г. Пинус
Аннотация:
Доказывается, что число Левенгейма для скелета многообразия булевых алгебр в сигнатуре,включающей отношение вложимости и операцию свободного произведения, совпадает с числом Левенгейма полной логики второго порядка.
УДК:
519.48
Поступило: 09.04.1990
Полный текст:
PDF файл (8537 kB)
Список цитирования
Англоязычная версия:
DOI: 10.1007/BF01978855
Реферативные базы данных:
©
МИАН
, 2024