Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Робинсон А. — Введение в теорию моделей и математическую логику
Робинсон А. — Введение в теорию моделей и математическую логику



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Введение в теорию моделей и математическую логику

Автор: Робинсон А.

Язык: ru

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1967

Количество страниц: 376

Добавлена в каталог: 05.03.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\sigma$-устойчивость      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
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте