Введение
1 Строение алгебраических систем конечной сигнатуры с конечным множеством элементарных типов бесконечных подсистем . 12
1.1 Бескванторная интерпретируемость в мономорфных системах. 12
1.2 Конечноморфность систем с конечным множеством теорий бесконечных подсистем 21
1.3 Строение алгебраических систем конечной сигнатуры с конечным множеством элементарных типов бесконечных подсистем 28
2 Строение шкалы интерпретируемости для систем, бескван-торно выражающихся через заданный линейный порядок 59
3 Строение сильно субминимальных систем. 70
3.1 Определение субранга и субстепени 70
3.2 Строение сильно субминимальных систем 79
Выводы
Заключение
