Ю. Г. Венцов, “Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности”, Алгебра и логика, 1994, том 33, номер 1,страницы 37

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

Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности

Ю. Г. Венцов

Институт математики Сибирского отделения Российской академии наук, г. Новосибирск

Аннотация: Строится конструктивизируемая модель бесконечной алгоритмической размерности, все вычислимые классы конструктивизаций которой конечны по модулю автоэквивалентности.
Библиогр. 10.

УДК: 510.51

Поступило: 25.05.1993