П. Кёпке, А. С. Морозов, “Характеризации ITBM-вычислимости. II”, Алгебра и логика, 2021, том 60, номер 1,страницы 39

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

Характеризации ITBM-вычислимости. II

П. Кёпке^a, А. С. Морозов^b

^a Rheinische Friedrich-Wilhelms-Univ. Bonn, Bonn, GERMANY
^b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Рассматриваются различные характеризации вычислимости на машинах Блюм–Шуба–Смейла (ITBM) через специфические функции на множествах и вычислимые бесконечные формулы.

Ключевые слова: вычислимость на машинах Блюм–Шуба–Смейла, бесконечные формулы.

УДК: 510.5

Поступило: 05.06.2020
Окончательный вариант: 31.05.2021

DOI: 10.33048/alglog.2020.60.103