|
Алгебра и логика, 1984, том 23, номер 3, страницы 266–277
(Mi al1860)
|
|
|
|
О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом
Л. П. Лисовик
Аннотация:
Получено усиление результата Рабина о разрешимости теории $S2S$, т. е. сингулярной теории второго порядка двух функций следования. Установлена разрешимость ряда теорий вида $S2S[P]$, получаемых из теории $S2S$ введением дополнительного унарного предиката $P$. Теория $S2S[P]$ разрешима, когда предикат $P:\{0,1\}^*\to\{\text{И, Л}\}$ задан так, что $P(w)=\text{И}\sim|w|\in I$, где $I$ — область значений функции, возникающей из функций $x!$, $x^a$, $a^x$ ($a=1,2,\dots$) конечным применением операций суперпозиции, суммирования и мультиплицирования.
Поступило: 15.11.1983
Образец цитирования:
Л. П. Лисовик, “О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом”, Алгебра и логика, 23:3 (1984), 266–277
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1860 https://www.mathnet.ru/rus/al/v23/i3/p266
|
Статистика просмотров: |
Страница аннотации: | 58 | PDF полного текста: | 17 |
|