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

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

blank
blank
blank
Красота
blank
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей
Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей



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



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


Название: Справочная книга по математической логике. Часть 1: теория моделей

Автор: Барвайс Д.

Аннотация:

Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.


Язык: ru

Рубрика: Математика/Справочники/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Теорема Крипке — Платека      269
Теорема Леви об абсолютности      248
Теорема Лёвенгейма — Скулема      18
Теорема Лёвенгейма — Скулема о подъеме      71
Теорема Лёвенгейма — Скулема о спуске      70
Теорема Линдона о гомоморфизме      79
Теорема Линдстрёма      54
Теорема Лося      115
Теорема Мальцева      125
Теорема Мальцева — Тарского      69
Теорема о полноте      43 45—47 302 303
Теорема о полноте логической категории      302
Теорема о разбиении      185
Теорема о существовании классифицирующего топоса      307
Теорема о существовании насыщенных моделей      82
Теорема о существовании простых моделей      86
Теорема об $\omega$-полноте      84
Теорема об S-непрерывности      213
Теорема об опускании типов      83 96 98
Теорема об устранении сечения      49
Теорема об элементарных цепях      63
Теорема основная исчисления      216
Теорема полноты для $L_{\omega_1 \omega}$      104
Теорема Рамсея      185
Теорема Робинсона о совместности      77
Теорема Скотта о $L_{\omega_1 \omega}$      103
Теорема Тарского — Воота      144
Теорема Чэна — Лося — Сушко      70
Теорема Эрдёша — Радо      185
Теорема Эренфойхта — Мостовского      185
Теории P-эквивалентные      328
Теории эквивалентные      57
Теория      57
Теория $\omega$-полная      84
Теория алгебраическая      290 300
Теория алгебраической системы      58
Теория базисно мультиупорядоченная      93
Теория базисно независимая      93
Теория базисно стабильная      92 93
Теория базисно суперстабильная      92 93
Теория базисно упорядоченная      93
Теория Генкина      38
Теория групп      15 292 295
Теория двукардинальная      327
Теория декартова      295 298
Теория индуктивная      62
Теория йонсоновская      79
Теория категоричная      323
Теория категоричная в мощности      72 323
Теория квазитрансцендентная      349
Теория класса      57
Теория когерентная      302
Теория коммутативных колец      290 295
Теория конечно аксиоматизируемая      58 367
Теория локально совместная      65
Теория множеств ZF      23
Теория моделей абстрактная      53
Теория моделей восточная      56
Теория моделей западная      56
Теория модельно полная      61 133
Теория недвукардинальная      327
Теория непротиворечивая      24 57
Теория ограниченная      333
Теория позитивная      350
Теория полная      23 58
Теория почти категоричная      333
Теория почти сильно минимальная      332
Теория разрешимая      23 59
Теория рекурсивно аксиоматизируемая      57 58
Теория сильно минимальная      330
Теория совместная      57
Теория стабильная      194 343
Теория стабильная в мощности      194 345
Теория суперстабильная      346
Теория тотально трансцендентная      336
Теория универсальная      60 350
Теория устойчивая относительно гомоморфных образов      78
Теория устойчивая относительно подсистем      69
Теория финитарно когерентная      307
Теория форсинг-полная      373
Теория хорнова      350
Теория, допускающая элиминацию кванторов      62
Терм      26
Терм замкнутый      26
Терм скулемовский      186
Тип      82 132 133 191 326
Тип A-определимый      343
Тип алгебраический      349
Тип базисный      80
Тип изолированный      85 88
Тип полный      326
Тип сильный      350
Тип суперстабильный      349
Типы независимые      350
Топос Гротендика      305 309
Топос элементарный      307
Ультрапроизведение      113
Ультрапроизведение гомоморфизмов      118
Ультрастепень      113
Ультрафильтр      111
Ультрафильтр $\omega_1$-неполный      132
Ультрафильтр $\varkappa^{+}$-хороший      137
Ультрафильтр главный      111
Универсал      350
Уравнение над системой      125
Условие h-минимальности      364
Условие для теории      95
Фильтр      110
Фильтр главный      110
Фильтр коконечный      110
Фильтрованное произведение      112
Формула      27
Формула атомная      26
Формула базисная      80
Формула в нормальной форме с отрицанием (н. ф. о.)      252
Формула в теории T      324
Формула конечная      325
Формула конъюнктивная игровая      257
Формула логики второго порядка      255
Формула первичная      31
Формула позитивная      78
Формула полная      85
Формула пропозициональная      31
Формула связанная и антисимметричная      343
Формула сильно минимальная      330
Формула совместная      31
Формула стабильная в теории T      343
Формула универсальная      60
Формула усеченная игровая      258
Формула, копирующаяся над A      345
Форсинг бесконечный      162
Форсинг конечный по Робинсону      94
Фрагмент логики $L_{\omega_1 \omega}$      253 381
Функтор забывающий      119
Функтор логический      303
Функция S-непрерывная      216
Функция базисной стабильности      93
Функция вещественная      211
Функция интегрально определенная      154
Функция непрерывная стандартная      216
Функция скулемовская      64 187
Функция стандартная      204
Часть стандартная      215
Часть стандартная конечного вектора      218
Число бесконечное малое      204 223
Число бесконечное целое      204
Число гипервещественное      202
Число гипервещественное почти стандартное      205
Число гиперцелое      204
Число действительное      19
Число Лёвенгейма      377
Число Лёвенгейма — Скулема      377
Число стандартное      202 212
Число Ханфа      377
Экстенсиональные формулы      312
Элемент $T_1$-изолированный      375
Элемент A-конечный      243
Элементарная экзистенциальная доктрина (ЭЭД)      299
Ядро совершенное      90
Язык диаграммный      64
Язык рекурсивный      58
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте