|
Алгебра и логика, 1991, том 30, номер 4, страницы 414–431
(Mi al2159)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 7 статьях)
Семантически универсальные классы моделей
М. Г. Перетятькин
Аннотация:
Работа посвящена исследованию обобщенных алгебр Линденбаума рекурсивно-аксиоматизируемых и конечно-аксиоматизируемых теорий. Получена характеризация семантически универсальных классов моделей, и на этой основе установлены некоторые их важные свойства. В частности, найдена характеризация обобщенных алгебр Линденбаума для исчислений предикатов конечных богатых сигнатур, что обобщает и усиливает известные результаты У. Ханфа.
Поступило: 29.07.1990
Образец цитирования:
М. Г. Перетятькин, “Семантически универсальные классы моделей”, Алгебра и логика, 30:4 (1991), 414–431
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2159 https://www.mathnet.ru/rus/al/v30/i4/p414
|
Статистика просмотров: |
Страница аннотации: | 55 | PDF полного текста: | 21 |
|