Ви є тут

Конструктивизируемость структур и их степени неразрешимости

Автор: 
Фролов Андрей Николаевич
Тип роботи: 
Дис. канд. физ.-мат. наук
Рік: 
2004
Артикул:
2061
179 грн
Додати в кошик

Вміст

Содержание
Введение
1 Дспектры линейных порядков
1.1 Д 2 спектр.
1.2 Линейные порядки, сильно похожие на .
1.3 Квазидискретные линейные порядки.
2 Вычислимые алгебры Ершова
2.1 2низкие алгебры Ершова.
2.2 3низкис алгебры Ершова
3 Класс вычислимых множеств
3.1 Теоретикомножественная структура
3.2 Теоретикомножественные сводимости.
3.3 БЕТ1сводимость на классе вычислимых множеств.
Литература