|
Алгебра и логика, 1992, том 31, номер 1, страницы 47–73
(Mi al2181)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Семантическая универсальность теорий над суперсписком
М. Г. Перетятькин Институт математики и механики АН КазССР, г. Алма-Ата
Аннотация:
Исследуются выразительные возможности формул логики предикатов над некорорым списком $PL$ теоретико-модельных свойств. Получена характеризация обобщенных $L$-алгебр Линденбаума для семантически универсальных конечно-аксиоматизируемых классов моделей при условии включения $L\subseteq PL$. Доказано существование рекурсивного изоморфизма, сохраняющего свойства из списка $PL$, между алгебрами Линденбаума исчислений предикатов двух различных конечных богатых сигнатур.
Поступило: 21.05.1991
Образец цитирования:
М. Г. Перетятькин, “Семантическая универсальность теорий над суперсписком”, Алгебра и логика, 31:1 (1992), 47–73
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2181 https://www.mathnet.ru/rus/al/v31/i1/p47
|
Статистика просмотров: |
Страница аннотации: | 49 | PDF полного текста: | 12 | Список литературы: | 1 |
|