RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2003, том 42, номер 5, страницы 566–593 (Mi al44)

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

Равномерность в теории вычислимых структур

Р. Доуниa, Д. Хиршвельдb, Б. Хусаиновc

a Victoria University of Wellington, School of Mathematics, Statistics and Computer Science
b University of Chicago
c University of Auckland

Аннотация: Исследуется влияние требований равномерности на такие понятия теории вычислимых структур, как вычислимая категоричность (структуры) и наследственная вычислимость (отношения на вычислимой структуре). Рассматриваются и сравниваются два различных понятия равномерности, которые ранее изучали Кудинов и Венцов. Обсуждаются некоторые полученные ими результаты и устанавливается ряд новых, одновременно изучается их связь с теорией относительно вычислимых структур Эша, Найт, Манасса, Сламана и Чизхолма, а также с работой Эша, Найт и Сламана о равномерности в теории обобщенно вычислимых структур.

Ключевые слова: вычислимо категоричная структура, наследственно вычислимое отношение на вычислимой структуре, относительно вычислимая структура, обобщенно вычислимая структура.

УДК: 510.53

Поступило: 10.11.2000


 Англоязычная версия: Algebra and Logic, 2003, 42:5, 318–332

Реферативные базы данных:


© МИАН, 2024