|
Сибирский математический журнал, 1983, том 24, номер 3, страницы 136–141
(Mi smj6722)
|
|
|
|
Исчисление с квантором элементарной эквивалентности
А. Г. Пинус Новосибирский электротехнический институт
Аннотация:
Рассматривается расширение узкого исчисления предикатов квантором, интерпретируемым как элементарная эквивалентность моделей, получаемых из данной обогащением относительно формульными подмножествами. Рассматриваются теоретико-модельные свойства такого исчисления, а также вопросы разрешимости теорий различных классов моделей в этом исчислении.
Библ. 11.
Статья поступила: 20.05.1981
Образец цитирования:
А. Г. Пинус, “Исчисление с квантором элементарной эквивалентности”, Сиб. матем. журн., 24:3 (1983), 136–141; Siberian Math. J., 24:3 (1983), 428–432
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6722 https://www.mathnet.ru/rus/smj/v24/i3/p136
|
Статистика просмотров: |
Страница аннотации: | 37 | PDF полного текста: | 40 |
|