|
Алгебра и логика, 2003, том 42, номер 5, страницы 566–593
(Mi al44)
|
|
|
|
Эта публикация цитируется в 23 научных статьях (всего в 23 статьях)
Равномерность в теории вычислимых структур
Р. Доуниa, Д. Хиршвельдb, Б. Хусаиновc a Victoria University of Wellington, School of Mathematics, Statistics and Computer Science
b University of Chicago
c University of Auckland
Аннотация:
Исследуется влияние требований равномерности на такие понятия теории вычислимых структур, как вычислимая категоричность (структуры) и наследственная вычислимость (отношения на вычислимой структуре). Рассматриваются и сравниваются два различных понятия равномерности, которые ранее изучали Кудинов и Венцов. Обсуждаются некоторые полученные ими результаты и устанавливается ряд новых, одновременно изучается их связь с теорией относительно вычислимых структур Эша, Найт, Манасса, Сламана и Чизхолма, а также с работой Эша, Найт и Сламана о равномерности в теории обобщенно вычислимых структур.
Ключевые слова:
вычислимо категоричная структура, наследственно вычислимое отношение на вычислимой структуре, относительно вычислимая структура, обобщенно вычислимая структура.
Поступило: 10.11.2000
Образец цитирования:
Р. Доуни, Д. Хиршвельд, Б. Хусаинов, “Равномерность в теории вычислимых структур”, Алгебра и логика, 42:5 (2003), 566–593; Algebra and Logic, 42:5 (2003), 318–332
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al44 https://www.mathnet.ru/rus/al/v42/i5/p566
|
Статистика просмотров: |
Страница аннотации: | 326 | PDF полного текста: | 123 | Список литературы: | 62 | Первая страница: | 1 |
|