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

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

blank
blank
blank
Красота
blank
Перетятькин М.Г. — Конечно аксиоматизируемые теории
Перетятькин М.Г. — Конечно аксиоматизируемые теории



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



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


Название: Конечно аксиоматизируемые теории

Автор: Перетятькин М.Г.

Аннотация:

Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии
издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более
простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий.
Для интересующихся математической логикой.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(\Delta, \: m, \: s)$-вычисление      85
$(\mathfrak{M}, \: m)$-вычисление      238
$LRSP_4$-формула      247
$RSP_4$-формула      216
$\langle \nu, \: i, \: j \rangle$-точка      88
$\langle \nu, \: j \rangle$-точка      88
1-тип нестандартный      165
3-блок      218
3-компонента области      220
3-слой региона      218
4-блок      220
4-слой компоненты      220
A-путь      83
A-путь бесконечнозвенный      84
A-путь конечнозвенный      83
A-трасса      81
G-линия      209
k-точка      200
L-интерпретация      150
L-тип      7
L-типы эквивалентные      7
M-линия      209
tt-степень множества      99
tt-условие      59
Автоморфизм внутренний      144
Алгебра нумерованная позитивно      4
Блок      23 67 130 200
Блок вычислительный      67
Блок нестандартный      214
Блок стандартный      67 214
Блок чистый      210
Вершина концевая      36
Вес      88 145
Ветвление      219
Ветвления индекс      219
Ветвления линия      219
Воота конструкция      11
Воота — Морли проблема      13
Дерева ранг      37
Дерево      35
Дерево атомное      36
Дерево полное бинарное      35
Дерево суператомное      37
Зона      67 201
Индекс канонический      237
Индекс перечислимый рекурсивно      3
Индекс спектральный      166
Интерпретация $\exists$-представимая      148
Интерпретация биективная модельно      154
Интерпретация изостоуновская      149
Интерпретация квазиточная      165
Интерпретация обертывающая      149
Интерпретация обертывающая элементарно      149
Интерпретация обобщенная      156
Интерпретация погружающая      150
Интерпретация предквазиточная      158
Интерпретация точная      155
Интерпретация эффективная      148
Классы зеркальные      23
Клини компонента      82
Клини конструкция      12
Линденбаума алгебра      4
Линденбаума алгебра обобщенная      7
Линия зависимая      209
Линия информационная      221
Линия конъюнкции элементарной      233
Линия особая      74 209
Линия порождающая      74
Линия свободная      209
Линия характеристическая      209
Множество R-замкнутое      254
Множество замкнутое      253
Множество неветвящееся      217
Множество связанное      217
Модели автоэквивалентные      3
Модели диагональ      129
Модели длина      23 130
Модели надстройка      197
Модели нумерация      3
Модель автоустойчивая      3
Модель без автоморфизмов      173
Модель конструктивизируемая      3
Модель конструктивизируемая сильно      3
Модель конструктивная      3
Модель конструктивная сильно      3
Модель наполненная      145
Модель одноблочная      84
Модель примитивная      158
Модель совершенная      90 91
Нумерация      3
Нумерация гёделевская      4
Оператор оболочки примитивной      165
Оператор оболочки совершенной      162 165
Отношение последователя      18
Отношение следования      18
Петли верхний отрезок      214
Петли нижний отрезок      214
Петли размер      214
Петли размерность      212
Петли тип      212
Петля      212
Петля тупиковая      214
Подмодель ядерная      148
Подмодель ядерно элементарная      148
Подразбиение      223 226
Предикат нумерационный      222
Предикат связи      197
Предиката глубина      196 200
Предиката размерность      196 200
Предложение базисное      236
Размерность алгоритмическая      3
Расширение совершенное      91
Регион      217
Регион особый      220
Свойство теоретико-модельное      6
Свойство универсальности      158
Сеть      23 130
Сигнатура богатая      1
Сигнатура перечислимая      1
Соединение цепочек      202
Список      6
Список универсальный      9
Теории изоморфные      5
Теории подобные семантически      7
Теория quad ранга      217
Теория квазиследования      17
Теория модельно полная      2
Тип стандартный      165
Точка зависимая      209
Точка запускающая      209
Точка особая      74 209
Точка свободная      209
Точка характеристическая      209
Трахтенброта конструкция      11
Тьюринга машина допустимая      87 241
Тьюринга машина нормальная      88 241
Условие табличное      59
Формула примитивная      53 153
Ханфа конструкция      12
Ханфа проблема      13
Цепи ранг      37
Цепи ядро      54
Цепочка      69 202
Цепочка главная      75
Цепочка элементарная      70
Цепочки длина      202
Цепь      36
Цепь изолированная      37
Цикл глобальный      103
Цикл локальный      103
Чёрча конструкция      11
Эквивалентность формульная      157
Элемент нестандартный      165
Элемент стандартный      165
Ядро модельное      148
Ячейка      84
Ячейка числовая      100
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте