Введение
Глава 1. Основные определения и обозначения 12
1.1. Теория вычислимости 12
1.2. Теория линейных порядков 15
Глава 2. Естественные отношения на вычислимых линейных по рядках 21
2.1. Естественные отношения 21
2.2. Отношения предельности 27
2.3. Алгоритмическая независимость естественных отношений . 36
Глава 3. Начальные сегменты и естественные отношения 48
3.1. Начальные сегменты с вычислимыми естественными отношениями 50
3.2. 02-начальные сегменты 68
3.3. Доказательство теоремы 3.2.1 . 71
Заключение 82
Литература
