|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Робинсон А. — Введение в теорию моделей и математическую логику |
|
|
|
| Предметный указатель |
 -устойчивость 116
T-система 42
Автоморфизм допустимый 224
Аккерман (Ackermann, W.) 358
Акс (Ax, I.) 10 355 357
Аксиома 49
Аллинг (Alling, N.L.) 355 356
Алмагамбетов, Ж.А. 157 355 356
Анализ нестандартный 321
Артин (Artin, E.) 19 285 292 296 298 356
Ассер (Asser, G.) 356
Бар—Хиллел (Bar—Hillel, Y.) 370
Бернайс (Bernays, P.) 44 127 304 356 358
Бесконечно малая 324
Бет (Beth, E.W.) 18 164 189 190 357
Бинг (Bing, K.) 15 357
Биркгоф (Birkhoff, G.) 191 231 357
Брейн (de Bruin, N.G.) 80 357
Воот (Waught, R.L.) 9 15 86 127 130 157 357
Выпуклость 118 161
Высказывание 21
Высказывание универсальное 105
Высказывание экзистенциальное 108
Высказывания, множества связанные 57
Высказывания, множество дефинитное 224
Галперн (Halpern, J.D.) 190 357
Гёдель (Goedel, K.) 8 15 31 44 357
Гилман (Gillman, L.) 355 358
Гилмор (Gilmore, P.C.) 355 358
Гильберт (Hilbert, D.) 18 44 82 127 174 176 285 298 358
Гомоморфизм 48
Гуревич, Ю.Ш. 10 157 358
Девис (Davis, M.) 358
Джерисон (Jerison, M.) 355 358
Диаграмма отрицательная 48
Диаграмма положительная 48
Дизъюнктнвность 102 24!
Дизъюнкция бесконечная 30
Ершов, Ю.Л. 10 157 355 358
Зейденберг (Seidenberg, A.) 184 190 314 359
Зекон (Zakon, E.) 157 367
Идеал арифметический 250
Идеал дифференциальный 279 280
Идеал метаматематический 233
Идеал неприводимый 234
Идеал неразложимый 234
Идеал порядковый 286
Идеал предикатный 268
Идеал совершенный 281
Изоморфизм 48
Инвариантность 100
Интерпретация семантическая 27
Иоисон (Jonsson, B.) 291 359
Калиш (Kalish, P.) 45 359
Кантор (Cantor, G.) 130
Капланский (Kaplansky, I.) 190 359
Каргаполов, М.И. 157 359
Карнап (Carnap, R.) 359
Карри (Curry, H.B.) 359
Квантор 20
Кванторы, блок 99
Кванторы, удаление 310
Кейслер (Keisler, H.J.) 42 127 355 360
Кемени (Kemeny, J.G.) 355 360
Клини (Kleene, S.C.) 360
Когаловский, С.Р. 355 360
Колчин (Kolchin, E.R.) 284 361
Кон (Cohn, R.M.) 231 355 361
Конъюнктивность 102
Конъюнкция бесконечная 30
Кочен (Kochen, S.) 10 190 355 361
Крейг (Craig, W.) 162 165 189 190 361
Крейсел (Kreisel, G.) 189 298 361
Лавров, И.А. 10 361
Лайтстоун (Lightstone, A.H.) 354 361
Лаугвиц (Laugwitz, D.) 355 362
Леви (Levy, A.) 362
Лейбниц (Leibniz, G.W.) 325
Лемма Крейга 162
Лемма о непротиворечивости 160
Лемма об оценках 33 316
Ленг (Lang, S.) 296 298 362
Ленгфорд (Langford, C.H.) 131 157 362
Лефшец (Lefschetz, S.) 131
Лёвенгейм (Loewenheim, L.) 8 41 44 362
Линденбаум (Lindenbaum) 128 157
Линдон (Lyndon, R.C.) 9 127 190 362
Лоренцен (Lorenzen, P.) 362
Лось (Los, J.) 45 80 116 355 362
Мак-Кинси (McKinsey, J.C.C.) 157 355 363
Макдоуэл (McDowell, R.) 355 363
Маккай (Makkai, M.) 190 363
Мальцев, А.И. 8 9 44 74 78 231 363
Матрица 99
Мендельсон (Mendelson, E.) 355 364
Многообразие 42 257 270
Многообразие неприводимое 259
Многочлен метаматематический 194
Многочлен унитарный 54
Модель анализа нестандартная 323
Модель арифметики нестандартная 80 321
Модель дефинитная 224
Модель простая 137
Модус поненс 25
Монтегю (Montague, R.) 45 364
Морель (Morel, A.) 355 370
Мостовский (Mostowski, A.) 10 127 364
Мюллер (Mueller, G.H.) 355 365
Нейман (Neumann, B.H.) 80 365
| Непротиворечивость 26
Непротиворечивость модельная 123
Нормальность 47 48
Обершелп (Oberschelp, A.) 365
Ограничение 60
Ори (Orey, S.) 365
Островский (Ostrowski, A.) 80 365
Отношения коэкстенсивные 46
Пеано (Peano, Q.) 353 365
Переменная 20
Переменная свободная 22
Подстановочность 46
Подструктура 47
Полнота множества высказываний 128
Полнота модельная 132
Пополнение модельное 155 177
Правила вывода 24
Правила образования 13
Пред-идеал см. "Идеал предикатный"
Предикат 21
Предикат алгебраический 211
Предикат насыщенный 205
Предикат неразложимый 208
Предикат ограниченный 204
Предтранзитивность 195
Пресбургер (Presburger, M.) 365
Префикс 99
Принцип локализации 43
Принцип переноса 62
Присоединение 122
Произведение прямое 314
Противоречивость 26
Рабин (Rabin, M.B.) 97 127 355 366
Равенство 46
Радо (Rado, R.) 45 366
Расева (Rasiowa, H.) 44 45 366
Расширение простое 122
Расширение элементарное 86
Ригер (Rieger, L.) 355 366
Ритт (Ritt, J.F.) 189 279 281 283 284 298 366
Робинсон, А. (Robinson, A.) 9 11 44 80 127 145 157 189 190 231 256 298 355 356
Робинсон, Р.М. (Robinson, R.M.) 127 367
Робинсон, Ю. (Robinson, J.) 10 367
Роденбуш (Raudenbush, H.W.) 298 368
Россер (Rosser, J.B.) 368
Рылль—Нардзевский (Ryll—Nardzewski, C.) 45 368
Ряд нормальный 76
Свойство квазиэлементарное 76
Связки пропозициональные 20
Сепарабельность метаматематическая 226
Серпинский (Sierpinski, W.) 97 127
Сикорский (Sikorski, R.) 44 45 368
Символ отношения 20
Сколем (Skolem, T.) 41 44 81 82 315 355 368
Скотт (Scott, D.) 80 355 368
Совершенность 226
Сокращение 59
Соответствие 27
Стандартность 325
Структура 27
Структура общая 259
Структура полиномиальная 194
Структура предполиномиальная 194
Сушко (Suszko, R.) 116 127 362
Тайманов, А.Д. 127 157 190 355 368
Тайцлин, М.А. 10 11 157 369
Тарский (Tarski, A.) 8 9 10 42 44 45 80 86 127 150 157 233 256 355 359 368 369
Теорема 24
Теорема Бета 164
Теорема о компактности 43
Теорема о полноте 31
Точка общая 271
Точка составная 269
Транзитивность 195
Трансформация синтаксическая 83
Ультрапроизведение 318
Ультрафильтр 317
Устойчивость относительно ограничения 100 101
Устойчивость относительно расширения 100 101
Феферман (Feferman, S.) 355 370
Форма предваренная нормальная 26
Формула правильно построенная (ппф) 20
Фрейлих (Froehlich, A.) 370
Фрейн (Frayne, T.) 354 370
Фрессе (Freisse, R.) 10 157 370
Функтор Сколема (Эрбрана) 82
Функция квазистандартная 348
Функция Сколема 82
Халмош (Halmos, P.R.) 11 370
Хенкин (Henkin, L.) 45 80 190 298 370
Хенриксен (Henriksen, M.) 355 372
Хорн (Horn, A.) 371
Цепь возрастающая 62
Часть стандартная 330
Чёрч (Church, A.) 371
Чжан (Chang, C.C.) 127 190 355 371
Шенфилд (Shoenfield, J.R.) 372
Шефердсон (Shepherdson, J.C.) 372
Шмиден (Schmieden, C.) 355 372
Шпекер (Specker, E.) 355 363
Шрейер (Schreier, O.) 285 298
Шретер (Schroeter, K.) 372
Штейниц (Steinitz, E.) 131 157
Эквивалентность элементарная 86
Энгелер (Engeler, E.) 80 372
Энхлер (Eichler, M.) 80 372
Эрбран (Herbrand, J.) 127
Эрдёш (Erdoes, P.) 80 355 372
Эренфойхт (Ehrenfeucht, A.) 10 157 372
|
|
|
| Реклама |
|
|
|
|
|
О проекте