Алгебраические системы - Мальцев А.И.
Скачать (прямая ссылка):
— полная регулярная 227
— регулярная 227
— трансцендентности 117, 118
— фильтрованная 199
— ^-свободная 300 Структурные константы 123 Сумма множеств 11
Таблица умножения базы 123 Тело 108
— альтернативное 119
— кватернионов 124
— характеристики нуль 111 Теорема Биркгофа 337
— Дика 281
— Кантора — Бернштейна 36
— компактности, или локальная 207
— Линденбаума 250
— Лося — Тарского- 174
— Мальцева о квазимногообразиях 271
— об изоморфизме вторая 67
— — — первая 65
— о гомоморфизме 63
— Робинсона А. 261
— Риге 34
— Стона 136
— Тице 282
— Хорна 184
— Чанга — Морела 214
— Штейница 117
Терм второй ступени 141 Тип алгебраической системы 46
— — — конечный 46 Тождество 188, 268
— условное 189 Точка неподвижная 21
Ультрапроизведение 205 Ультрафильтр 195 392
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Уноид 349
Устойчивость при переходе к подсистемам 165
Фактор-множество 24, 33 Фактор-система 62
— вполне характеристическая 367
— характеристическая 367 Финитная аппроксимируемость 80 Фильтр 193
¦— главный 194
— неглавный 194
— однородный 220
— счетно полный 220
— Фреше 194
— а-полный 220 Формальный язык 138 Формула 141, 146
— абсолютно бескванторная 169
— — замкнутая 154 ¦— атомарная 169
— второй ступени 141
— выполнимая 160, 161
— закрытая 154
— замкнутая 154
— истинная 150, 160
— квадратоустойчивая 189
— квазиатомарная 268
— ложная 150
— мультипликативно устойчивая 183, 213
— негативная 182
— позитивная 180
— пренексного вида 164
— прикладного исчисления предикатов (ПИП) 160
— примитивная 264
— сигнатуры а 154
— сколемская 177
— тождественно истинная Ibi
— узкого исчисления предикатов (УИП) 160
— универсальная 164
— хорновская 183, 214
— чистого исчисления предикатов (ЧИП) 160
— экзистенциальная 164 Формулы эквивалентные 162 Функция 42
— характеристическая 44
— —¦ подмножества 45
— частичная 42
— — характеристическая 45
— — та-арная 43
— п-арная 43
Характеристика тела 111 Характеристическая функция 44
Центр группы 104 Цепь 31
Частично упорядоченное множество 31
Частичный порядок 30
— — двойственный 30 Число кардинальное 36
— Кэли 126
— — сопряженное 127
— порядковое 38
— трансфинитное 38
Эквивалентность 23
— дробная 67
— квазиэквациональная 343 —, отвечающая разбиению 24
— формул 162
— эквациональная 342
— элементарная 235
— ядерная 25
Элемент алгебраический 113
— алгебраической системы 46
— бесконечного порядка 103
— вполне обратимый 119
— — обратный 119
— выделенный 46
— главный 46
— дополнительный 134
— максимальный 31
— множества 9
— наибольший 31
— непосредственно предшествующий 32
— — следующий 32
— обратимый 102
— обратный 98, 108
— порождающий 55
— предельный 32 Элементарная теория 162
— — разрешимая 233
Язык второй ступени 140
— первой ступени 160 й-композиция 299 й-конгруенция 297 ^-морфизм 290 ^-произведение 324
©-подсистема 260 ©-система 260 S-вложение 235 Г-вложение 237 Г-подмодель 237 Г-расширение 239 Г-теория 236
Г-элементарная подмодель 237 у-закрытие 240 V "-вложим ость 176 \/п-замкнутость 176 уп-формулы 176 3-закрытие 240
