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

Рассматриваются алгебраические зависимости с ограниченными размерами кортежей для полей, указанных в заглавии; получена естественная классификация их тьюринговой сложности, что позволяет установить бесконечность алгебраической размерности таких полей и тот факт, что алгебраическая эквивалентность конструктивизаций таких полей слабее проблемной.
Библиогр. 5.