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

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

blank
blank
blank
Красота
blank
Гончаров С.С. — Счетные булевы алгебры и разрешимость
Гончаров С.С. — Счетные булевы алгебры и разрешимость



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



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


Название: Счетные булевы алгебры и разрешимость

Автор: Гончаров С.С.

Аннотация:

Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.
Для интересующихся математической логикой и алгеброй.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\exists$-формула      13
$\forall$-формула      13
$\Pi_n^B$-множество      169
$\Sigma_n^{(B)}$-множество      169
B-конструктивность      175
B-позитивность      174
C-гомоморфизм      181
C-расширение      181
E-ранг      88
s-n-m-теорема      170
Автоморфизм      3
Алгебра $\alpha$-атомная      34
Алгебра $\omega$-предельная      250
Алгебра атомная      33
Алгебра атомная эффективно      211
Алгебра безатомная      33
Алгебра булева      18
Алгебра плотная      129
Алгебра позитивная      294
Алгебра суператомная      57
Алгебра универсальная      295
Алгебры рекурсивно изоморфные      295
Атом      30 83
Вершина концевая      72
Ветвь      76
Ветвь максимальная      76
Вложение изоморфное      3
Вложение изоморфное частичное      109
Вложение элементарное      104
Вложение элементарное частичное      109
Воота теорема      55
Гёделя теорема о полноте      11
Гомоморфизм C-рекурсивный      181
Гомоморфизм S-определенный      53 86
Гомоморфизм канонический      32
Гомоморфизм рекурсивный      295
Гончарова — Харингтона критерий      219
Грань верхняя      16
Грань верхняя точная      16
Грань нижняя      16
Грань нижняя точная      16
Дерево      70 78
Дерево полное      78
Дерево порождающее      70
Диаграмма      110
Диаграмма полная      110 129
Дополнение      23
Дополнение относительное      35
Единица      18 21
Ершова алгебра      35
Ершова алгебра атомная      84
Ершова алгебра безатомная      87
Ершова алгебра нормальная      95
Ершова алгебра специальная      89
Ершова алгебра суператомная      83
Ершова — Тарского идеал      121
Идеал      31
Идеал главный      31
Идеал главный локально      40
Идеал максимальный      46
Идеал плотный      156
Идеал простой      46
Идеал собственный      18
Изоморфизм      3
Инвариант      134
Интервал      17
Интервал замкнутый      17
Интервал концевой      17
Интервал начальный      17
Интервал открытый      17
Интервал, полуоткрытый слева      17
Интервал, полуоткрытый справа      17
Интерпретация      2
Квантор      8
Класс аксиоматизируемый      12
Класс смежный      4
Клини теорема      170
Кольцо булево      26
Конгруэнтность      4
Конгруэнтность строгая      4
Линденбаума алгебра      20
Мальцева теорема      11
Множество критерий непротиворечивое      11
Множество несовместное      11
Множество основное      2
Множество перечислимое      177
Множество перечислимое рекурсивно      169
Множество порождающее      62
Множество противоречивое      11
Множество разрешимое      177
Множество рекурсивное      168
Множество совместное      11
Множество упорядоченное      16 62
Множество упорядоченное линейно      62
Множество упорядоченное частично      16
Модели представление      280
Модель      2
Модель $\mathcal{B}$-разрешимая      181
Модель $\omega$-насыщенная      111
Модель $\omega$-полная      118
Модель n-полная      117
Модель ветвящаяся      282
Модель насыщенная      111
Модель почти n-полная      118
Модель почти полная      118
Модель простая      110
Модель разрешимая      212
Модель теории      103
Модель универсальная      11
Модель Хенкина      107
Морли критерий      219
Нуль      18 21
Нумерация      174
Нумерация B-вычислимая      170
Нумерация вычислимая      171 178
Нумерация гёделевская      175
Нумерация главная      171 178
Нумерация позитивная      294
Обогащение      5
Обогащение определимое      120
Обогащение скулемовское      105
Операция термальная      8
Подалгебра максимальная      319
Поддерево      78
Подсистема      5
Подсистема элементарная      104
Полурешетка верхняя      17
Полурешетка нижняя      17
Пополнение идеальное      38
Порядок частичный      22
Порядок частичный линейный      22
Последовательность t-совместная      216
Последовательность главная      261
Последовательность дизъюнктивная      53
Последовательность точная      37
Представление каноническое      71
Разложение нормальное      95
Размерность алгоритмическая      184 280
Ранг булевости      95
Расширение элементарное      104
Решетка      23
Решетка булева      23
Решетка дистрибутивная      18 23
Решетка дистрибутивная с нулем      35
Сегмент      78
Сегмент начальный      17
Сегмент нормальный      305
Сигнатура      2
Символ константный      2
Символ предикатный      2
Символ функциональный      2
Система $B-\omega$-конструктивная      180
Система $\mathcal{B}$-рекурсивная      180
Система $\mathcal{B}-n$-конструктивная      180
Система $\mathcal{B}-n$-конструктивная сильно      180
Система $\mathcal{B}-\mathfrak{F}$-конструктивная      180
Система $\omega$-однородная      108
Система автоустойчивая      184
Система аксиом перечислимая      120
Система аксиом рекурсивная      120
Система атомная      110
Система нумерованная      174
Системы изоморфные      3
Системы эквивалентные элементарно      105
Стоуна теорема      48
Сужение      5
Теория      12
Теория атомная      111
Теория модельно полная      112
Теория определимая      118
Теория разрешимая      120
Теория суператомная      111
Теория счетно категоричная      112
Тип булевой алгебры      34
Тип главный      106
Тип набора элементов      106
Тип однородности      137
Тип ординальный      34 84
Тип разбиения      138
Тип реализуется      106
Тип теории      105
Тип частичный      178
Топология мальцевская      106
Транспозиция      328
Транспозиция атомная      328
Ультрафильтр      31
Уплотнение      129
Уровень безатомности      251
Условие вложимости      52
Условие вложимости гомоморфной      52
Условие изоморфизма      53
Условие эпиморфизма      52
Фактор-множество      4
Фейнера иерархия      172
Фильтр      18
Фильтр булевой алгебры      31
Фильтр главный      31
Фильтр собственный      18
Формула      8
Формула T-эквивалентная      113
Формула атомная      9
Формула непротиворечивая      11
Формула полная      106
Формула совершенная      14
Фрагмент ограниченный      180
Фрагмент языка      180
Фреше идеал      33 83
Функция аддитивная      89
Функция дополняющая      91
Функция рекурсивная      168
Функция рекурсивная частично      168
Функция скулемовская      105
Функция частичная      168
Характеристика суператомности      84
Характеристика элементарная      123
Хенкина теория      106
Элемент n-полный      256
Элемент t-безатомный      251
Элемент t-главный      251
Элемент атомный      44 61
Элемент безатомный      44
Элемент наибольший      16
Элемент наименьший      16
Элемент ортогональный      87
Элемент полный      256
Эпиморфизм      3
Ядро гомоморфизма      33
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте