С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 2018, том 59, номер 6,страницы 1279

Эта публикация цитируется в 9 статьях

Рекурсивные термы в семантическом программировании

С. С. Гончаров, Д. И. Свириденко

Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090

Аннотация: Для построения обогащения языка с ограниченными кванторами расширяется понятие терма конструкцией построения условных и рекурсивных по спискам термов. Показано, что полученное расширение языка формул с ограниченными кванторами над структурами с наследственно конечными списками является консервативным обогащением, а новые термы $\Delta$-определимы в основном языке.

Ключевые слова: формулы, термы, ограниченные кванторы, $\Delta_0$-формулы, $\Delta$-формулы, $\Sigma$-формулы, семантическое программирование, вычислимость, вычислимость над абстрактными структурами, условные термы, рекурсивные термы, модели, наследственно конечные списки, наследственно конечные множества.

УДК: 510.2+510.3+510.6+51.8+004.8

Статья поступила: 17.03.2018

DOI: 10.17377/smzh.2018.59.605