Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Робинсон А. — Введение в теорию моделей и мета-математику алгебры Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Введение в теорию моделей и мета-математику алгебры Автор: Робинсон А. Язык: Рубрика: Математика/Алгебра/Математическая логика/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1967 Количество страниц: 376 Добавлена в каталог: 14.05.2005 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель -устойчивость      116 T-система      42 Автоморфизм допустимый      224 Аккерман      358 Акс      10 355 357 Аксиома      49 Аллинг      355 356 Алмагамбетов, Ж.А.      157 355 356 Анализ нестандартный      321 Артин      19 285 292 296 298 356 Ассер      356 Бар-Хиллел      370 Бернайс      44 127 304 356 358 Бесконечно малая      324 Бет      18 164 189 190 357 Бинг      15 357 Биркгоф      191 231 357 Брейн      80 357 Воот      9 15 86 127 130 157 357 Выпуклость      118 161 Высказывание      21 Высказывание универсальное      105 Высказывание экзистенциальное      108 Высказывания, множества связанные      57 Высказывания, множество дефинитное      224 Галперн      190 357 Гёдель      8 15 31 44 357 Гилман      355 358 Гилмор      355 358 Гильберт      18 44 82 127 174 176 285 298 358 Гомоморфизм      48 Гуревич, Ю.Ш.      10 157 358 Девис      358 Джерисон      355 358 Диаграмма отрицательная      48 Диаграмма положительная      48 Дизъюнктивность      102 241 Дизъюнкция бесконечная      30 Ершов, Ю.Л.      10 157 355 358 Зейденберг      184 190 314 359 Зекон      157 367 Идеал арифметический      250 Идеал дифференциальный      279 280 Идеал метаматематический      233 Идеал неприводимый      234 Идеал неразложимый      234 Идеал порядковый      286 Идеал предикатный      268 Идеал совершенный      281 Изоморфизм      48 Инвариантность      100 Интерпретация семантическая      27 Йонсон      291 359 Калиш      45 359 Кантор      130 Капланский      190 359 Каргаполов, М.И.      157 359 Карнап      359 Карри      359 Квантор      20 Кванторы, блок      99 Кванторы, удаление      310 Кейслер      42 127 355 360 Кемени      355 360 Клини      360 Когаловский, С.Р.      355 360 Колчин      284 361 Кон      231 355 361 Конъюнктивность      102 Конъюнкция бесконечная      30 Кочен      10 190 355 361 Крейг      162 165 189 190 361 Крейсел      189 298 361 Лавров, И.А.      10 361 Лайтстоун      354 361 Лаугвиц      355 362 Леви      362 Лейбниц      325 Лемма Крейга      162 Лемма о непротиворечивости      160 Лемма об оценках      33 316 Ленг      296 298 362 Ленгфорд      131 157 362 Лефшец      131 Лёвенгейм      8 41 44 362 Линденбаум      128 157 Линдон      9 127 190 362 Лоренцен      362 Лось      45 80 116 355 362 Мак-Кинси      157 355 363 Макдоуэл      355 363 Маккай      190 363 Мальцев, А.И.      8 9 44 74 78 231 363 Матрица      99 Мендельсон      355 364 Многообразие      42 257 270 Многообразие неприводимое      259 Многочлен метаматематический      194 Многочлен унитарный      54 Модель анализа нестандартная      323 Модель арифметики нестандартная      80 321 Модель дефинитная      224 Модель простая      137 Модус поненс      25 Монтегю      45 364 Морель      355 370 Мостовский      10 127 364 Мюллер      355 365 Нейман      80 365 Непротиворечивость      26 Непротиворечивость модельная      123 Нормальность      47 48 Обершелп      365 Ограничение      60 Ори      365 Островский      80 365 Отношения коэкстенсивные      46 Пеано      353 365 Переменная      20 Переменная свободная      22 Подстановочность      46 Подструктура      47 Полнота множества высказываний      128 Полнота модельная      132 Пополнение модельное      155 177 Правила вывода      24 Правила образования      13 Предидеал      см. «Идеал предикатный» Предикат      21 Предикат алгебраический      211 Предикат насыщенный      205 Предикат неразложимый      208 Предикат ограниченный      204 Предтранзитивность      195 Пресбургер      365 Префикс      99 Принцип локализации      43 Принцип переноса      62 Присоединение      122 Произведение прямое      314 Противоречивость      26 Рабин      97 127 355 366 Равенство      46 Радо      45 366 Расева      44 45 366 Расширение простое      122 Расширение элементарное      86 Ригер      355 366 Ритт      189 279 281 283 284 298 366 Робинсон, А.      9 11 44 80 127 145 157 189 190 231 256 298 355 356 Робинсон, Р.М.      127 367 Робинсон, Ю.      10 367 Роденбуш      298 368 Россер      338 Рылль-Нардзевский      45 368 Ряд нормальный      76 Свойство квазиэлементарное      76 Связки пропозициональные      20 Сепарабельность метаматематическая      226 Серпинский      97 127 Сикорский      44 45 368 Сколем      41 44 81 82 315 355 368 Скотт      80 355 368 Совершенность      226 Сокращение      59 Соответствие      27 Стандартность      325 Структура      27 Структура общая      259 Структура полиномиальная      194 Структура предполиномиальная      194 Сушко      116 127 362 Тайманов, А.Д.      127 157 190 355 368 Тайцлин, М.А.      10 11 157 369 Тарский      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 Феферман      355 370 Форма предваренная нормальная      26 Формула правильно построенная (ппф)      20 Фрейлих      370 Фрейн      354 370 Фрессе      10 157 370 Функтор Сколема (Эрбрача)      82 Функция квазистандартная      348 Функция Сколема      82 Халмош      11 370 Хенкин      45 80 190 298 370 Хенриксен      355 372 Хорн      371 Цепь возрастающая      62 Часть стандартная      330 Чёрч      371 Чжан      127 190 355 371 Шенфилд      372 Шефердсон      372 Шмиден      355 372 Шпекер      355 363 Шрейер      285 298 Шретев      372 Штейниц      131 157 Эйхлер      80 372 Эквивалентность элементарная      86 Энгелер      80 372 Эрбран      127 Эрдёш      80 355 372 Эренфойхт      10 157 372 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте