Введение
1 Алгоритмическая сложность замкнутых фрагментов 12
1.1 Логика GLP и ее замкнутый фрагмент 12
1.2 Замкнутые фрагменты логик GLPn 18
2 Элементарные теории полурешеток GLP-слов 36
2.1 GLP-слова 36
2.2 Некоторые свойства полу решеток слов 40
2.3 Определимые в полурешетках слов свойства 45
2.4 Неразрешимые теории 51
2.5 Слова из двух символов 58
3 Элементарные теории системы ординальных обозначений Беклемишева и ее фрагментов 61
3.1 Системы ординальных обозначений с неразрешимыми элементарными теориями 61
3.2 Некоторые теории ординалов и слов 67
3.3 Элементарная эквивалентность некоторых моделей 76
Литература
