Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/3672
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 02:31:05 2016
Кодировка: Windows-1251

Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей :: Электронная библиотека попечительского совета мехмата МГУ

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

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

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

Красота

Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей

Кейслер Г.Дж., Чень-Чунь Ч. - Теория непрерывных моделей

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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

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

Название: Теория непрерывных моделей

Авторы: Кейслер Г.Дж., Чень-Чунь Ч.

Аннотация:

Небольшая монография, посвященная теорий классов моделей - области математической логики, интенсивно развивавшейся в течение последних 10-15 лет. Монография содержит обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии н теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами.
Книга будет полезна не только специалистам, но и тем, кто хочет начать работать в этом плодотворно развивающемся направлении математической логики или хотя бы получить первоначальное представление о нем.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

-предел      28
$\alpha$ -насыщенная модель      105
$\alpha$ -правильный ультрафильтр      96
$\alpha$ -универсальная модель      117
D-предел      25
D-произведение множеств      15
D-произведение моделей      86
D-степень множества      16
D-степень модели      88
H-множество      37
k-множество      37
K-непротиворечивая теория      68
K-полная теория      68
K-противоречивая теория      68
t-множество      37
Алгебра Брауэра      44
Алгебра Лиденбаума      44
Атомарная формула      34
Базис открытых (замкнутых) множеств в пространстве X      21
Базисные открытые (замкнутые) множества      19
Базисный элементарный класс      67
Булево пространство      46
Вхождение в формулу      35
Выделенные значения      31
Выделенные элементы модели      56
Высказывание      35
Главный фильтр      14
Гомоморфизм      58
Гомоморфные модели      58
Гомоморфный образ      59
Двойственная логика      32
Дизъюнктная функция      98
Дизъюнкция      36
Дуга      48
е-множество      38
Естественное вложение      92
Замкнутая теория      65
Замкнутое отношение      23
Замыкание относительно композиции (подстановки)      19
Замыкание теории      65
Значение истинности      60
Значение терма      60
Изомороные модели      58
Изоморфизм      58
Изоморфная вложимость      58
Изоморфный образ      58
Интуиционистская логика высказываний      45
Квантор всеобщности      36
Квантор существования      36
Кванторы      31
Класс, замкнутый относительно ультрапроизведений      90
Класс, замкнутый относительно ультрастепеней      127
Классическая вещественнозначная логика      41
Классическая двузначная логика      36
Классическая двузначная логика, логика высказываний      44
Конъюнктивное множество      37
Конъюнкция      36
Максимальный фильтр      14
Множество элементов модели      56
Множество, замкнутое относительно D-пределов      30
Модель      56
Модель теории $\theta$       66
Модель формулы $\phi$       61
Монотонная функция      95
Мощность логики $\mathscr{L}$       231
Мощность модели      57
Мультипликативная функция      96
Мультипликативное множество      98
Неподвижная точка непрерывности      22
Непрерывная логика      31
Непротиворечивая теория      68
Нетривиальная дуга      48
Нижний D-предел      155
Нормальное пространство      19
Обобщенная теория      72
Объединение цепи моделей      58
Однородный ультрафильтр      15
Определяющая цепь      113
Открытая теория      65

Открытое отношение      22
Отрицание      36
Переменная      32
Перечисление множества      13
Подмодель      57
Подмодель, порожденная множеством      57
Позитивная формула      144
Позитивно-экзистенциальная формула      150
Позитивно-экзистенциальный класс      150
Позитивный класс      149
Полная теория      68
Приведенная степень множества      16
Приведенная степень модели      157
Приведенное произведение множеств      16
Приведенное произведение моделей      157
Примитивно условная формула      158
Пространство значений логики      31
Пространство значений модели      56
Противоречивая теория      68
Равенство      34
Растление модели      57
Расширенная теория      см. 'Обобщенная теория'
Регулярный фильтр      13
Свободная переменная      35
Связки      31
Сечение модели      59
Символ предиката      32
Символ тождественного равенства      32
Символы констант      32
Сингулярное замкнутое (открытое) множество      21-22
Сингулярный элементарный класс      67
Слабо $\alpha$ -насыщенная модель      113
Слабо регулярный ультрафильтр      14
Слабо специальная модель      116
Смещающее множество      37
Смещающее множество для H      37
Специальная модель      113
Счетно неполный ультрафильтр      18
Теория класса K      66
Терм      60
Тип относительно изоморфизма      58
Тип подобия      31
Тип подобия логики      31
Тип подобия модели      56
Тождественная функция      36
Ультрапроизведение множеств      16
Ультрапроизведение моделей      86
Ультрастепень множества      16
Ультрастепень модели      88
Ультрафильтр      14
Универсальная формула      142
Универсально-экзистенциальная формула      142
Универсально-экзистенциальный класс      142
Упорядочение логики      31
Упорядочение отношением H      22
Урысона лемма      19
Условная формула      159
Условный класс      161
Фильтр      13
Формула      33
Формула $\phi$ выполняется в модели      61
Формула $\phi$ выполняется в модели на последовательности      61
Формула $\phi$ истинна в модели      61
Функция значений истинности модели      66
Функция, сохраняющая отношение       23
Функция, сохраняющая отношение H      22
Цепь моделей      58
Экзистенциальная формула      134
Экзистенциальное множество      38
Экзистенциальный класс      139
Элемент модели      56
Элементарная вложимость      79
Элементарная подмодель      78
Элементарная теория      65
Элементарная топология      67
Элементарная цепь      79
Элементарно $\alpha$ -универсальная модель      117
Элементарно замкнутый класс      67
Элементарно эквивалентные модели      67
Элементарный класс      67

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2016

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте