|
Алгебра и логика, 2009, том 48, номер 5, страницы 549–563
(Mi al413)
|
|
|
|
Эта публикация цитируется в 21 научных статьях (всего в 21 статьях)
Вычислимость на линейных порядках, обогащённых предикатами
П. Е. Алаевab, Дж. Тёрберc, А. Н. Фроловd a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
c Math. Program, Eastern Oregon Univ., La Grande, OR, USA
d НИИ матем. мех. им. Н. Г. Чеботарёва, Казанский гос. ун-т, г. Казань, РОССИЯ
Аннотация:
Для квазидискретных линейных порядков $L$ доказываются критерии того, что сам порядок $L$ или структура $(L,\operatorname{adj})$ обладают вычислимым представлением, где $\operatorname{adj}(x,y)$ – предикат, выделяющий соседние элементы.
Ключевые слова:
вычислимость, квазидискретный линейный порядок.
Поступило: 17.12.2008
Образец цитирования:
П. Е. Алаев, Дж. Тёрбер, А. Н. Фролов, “Вычислимость на линейных порядках, обогащённых предикатами”, Алгебра и логика, 48:5 (2009), 549–563; Algebra and Logic, 48:5 (2009), 313–320
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al413 https://www.mathnet.ru/rus/al/v48/i5/p549
|
Статистика просмотров: |
Страница аннотации: | 455 | PDF полного текста: | 106 | Список литературы: | 75 | Первая страница: | 6 |
|