Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели

Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели

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

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

Название: Проблемы разрешимости и конструктивные модели

Автор: Ершов Ю.Л.

Аннотация:

Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).

Язык:

Рубрика: Технология/

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

ed2k: ed2k stats

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

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

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

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

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

$(\sigma', \ \Phi)$ -ядро теории      325 326
$R_{p}$ -группа      145
$R_{p}$ -модуль      146
$\exists$ -теория      309
$\exists$ -формула      309
$\forall$ -формула      309
$\mathfrak{A}$ -изоморфизм      16
$\mathfrak{M}$ -формула      346
$\mathfrak{S}$ -пополнение теории      41
$\psi$ -последовательность      210
$\psi$ -последовательность алгебраического типа      211
$\sigma$ -обеднение      16
$\sigma$ -обогащение      16
$\Sigma^{0}$ -подмножество      367
$\Sigma^{0}$ -семейство типов      367
H-теория      38
n-препятствие      349
n-теория      396
n-тип теории      36
p-высота элемента в группе      110
p-группа      198
p-элемент группы      108
S-пополнение теории      371
Алгебра булева      56
Алгебра нумерованная      297
Алгебра позитивно нумерованная      298
Алгебра простая      299
Атом решетки      73
Базис линейный      70
Базис фильтра      356
Гензелизация кольца нормирования      196
Гензелизация нормирования      216
Гензелизация нормированного поля      204
Гомоморфизм      15
Гомоморфизм нумерованных моделей      294
Группа $\prod$ -полная      125
Группа алгебраически компактная      130
Группа без кручения      108
Группа единиц локального кольца      200
Группа квазициклическая      112
Группа конечной экспоненты      119
Группа линейно упорядоченная      167
Группа локально нильпотентная      332
Группа локально циклическая      113
Группа нильпотентная      332
Группа нормирования      199
Группа периодическая      108
Группа полная      111
Группа разложения      188
Группа редуцированная      115
Группа свободная (абелева)      105
Группа симметрическая      283
Группа финитно аппроксимируемая      125
Дерево      358
Дерево над $\mathscr{P}$       358
Диаграмма      16
Диаграмма полная      16
Дополнение относительное      54
Замыкание вещественное      341
Замыкание целое      181
Идеал решетки      46
Идеал решетки главный      47
Идеал решетки локально главный      62
Идеал решетки простой      47
Идеал Фреше      76
Идеал Фреше итерированный      77
Изоморфизм      16
Изоморфизм допустимый      331
Изоморфизм конечный      26
Изоморфизм частичный      26
Индекс ветвления      202
Интервал линейно упорядоченного множества      67
Инъективность группы      113
Категория $\mathfrak{A}$       105
Категория $\mathfrak{A}_{n}$       118
Категория $\mathfrak{A}_{\prod}$       128
Категория $\mathfrak{D}_{0}$       56
Категория $\mathfrak{E}_{0}$       69
Класс конструктивных моделей слабо вычислимый      307
Кольцо групповое      221
Кольцо локальное      177
Кольцо нормирования      177
Кольцо нормирования гензелево      193
Кольцо целое над кольцом      182
Кольцо целостное      177
Кольцо целых p-адических чисел      259
Кольцо частных относительно идеала      181
Комбинация булевых формул      276
Композит полей      175
Компонента p-примарная группы      198
Константы основные      13
Конструктивизация модели      300
Конструктивизация модели сильная      300
Конус неотрицательных элементов      168
Критерий Робинсона      33
Лемма Гаусса      183
Метод относительной элементарной определимости      271
Метод элиминации кванторов      266
Многообразие      17
Многочлен унитарный      180
Множество нумерованное      294
Множество основное системы      13
Множество порождающих группы      105
Множество предупорядоченное      355
Множество предупорядоченное нётерово      356
Множество предупорядоченное со свойством конечности базиса      356
Множество формул разрешимое      294
Модель      13
Модель $\chi$ -насыщенная      39
Модель автоустойчивая      303
Модель допустимая      329
Модель конструктивизируемая      300
Модель конструктивная      295
Модель конструктивно устойчивая      302
Модель нумерованная      294
Модель однородная      37
Модель первичная      33
Модель правильная      347
Модель простая      38
Модель сильно конструктивизируемая      300
Модель сильно конструктивная      295
Модель сильно конструктивно устойчивая      302
Модель счетно насыщенная      40
Мономорфизм деревьев над $\mathscr{P}$       358
Морфизм нумерованных множеств      294
Нётеровость предупорядоченного множества      355
Ноль решетки      51
Нормирование p-адическое      255
Нормирование поля      199
Нумерация      294
Нумерация алгебры      297
Нумерация гёделева      265
Нумерация семейства конструктивных моделей вычислимая      306
Нумерация семейства сильно конструктивных моделей сильно вычислимая      306
Нумерация цилиндрическая      367
Обогащение формульное      32
Обогащение формульное полное      32
Операция основная      13
Определимость относительная элементарная      271
Ортогональность элементов      59
Отношение доминирования      178
Отношение конгруэнтности      15
Отношение конгруэнтности сильное      15
Отношение предпорядка направленное      19
Отображение допустимое      21
Отображение хорошее      21
Подгруппа базисная      150
Подгруппа выпуклая      169
Подгруппа сервантная      116
Подсистема      14

Подсистема элементарная      14
Поле p-адических чисел      259
Поле вычетов локального кольца      178
Поле гензелево      336
Поле нормированное      202
Поле представителей для поля вычетов      224
Поле разложения      189
Поле частных      177
Полусоответствие между булевыми алгебрами      75
Полусоответствие между решетками      73
Пополнение группы      171 332
Пополнение идеальное      60
Пополнение модельное      35
Порядок лексикографический      174
Порядок элемента      108
Последовательность Коши      257
Последовательность плохая      357
Последовательность хорошая      357
Предел $\psi$ -последовательности      210
Предел обратный      20
Предел последовательности Коши      259
Предел прямой      22
Предикат основной      13
Предложение диаграммное      309
Предпорядок $\leqslant_{R}$       178
Препятствие      346
Проблема единственности для продолжения      304
Проблема продолжения конструктивизации      303
Проблема существования конструктивизации у модели      300
Проблема существования конструктивизируемой модели      300
Продолжение нормирования      201
Проектирование      18
Проекция      20
Произведение лексикографическое      174
Произведение подпрямое      19
Произведение приведенное (фильтрованное)      23
Произведение прямое (декартово)      18
Произведение свободное      59
Разделенность линейная над полем      175
Разложение в прямую сумму подгрупп      108
Разложение нормирования      252
Расширение Галуа      186
Расширение группы сечения      232
Расширение непосредственное      202
Расширение непосредственное алгебраическое максимальное      214
Расширение неразветвленное      202
Расширение нормальное      186
Расширение нормирования      201
Расширение поля представителей      227
Расширение решеток      60
Решетка      45
Решетка $\alpha$ -атомная      83
Решетка атомная      73
Решетка безатомная      73
Решетка дистрибутивная      49
Решетка дистрибутивная с относительными дополнениями      55
Решетка полная      46
Решетка специальная      98
Решетка суператомная      77
Сводимость нумераций      302
Свойство единственности продолжения      189
Семейство типов плотное      38
Сечение нормированного поля      224
Сигнатура      12
Символ константный      12
Символ предикатный      12
Символ функциональный      12
Система K-свободная      17
Система аксиом      13
Система алгебраическая      13
Система соответствий между булевыми алгебрами      87
Система соответствий между решетками      85
Слагаемое прямое группы      114
Соответствие между булевыми алгебрами      74
Соответствие между решетками      71
Спектр обратный      19
Спектр прямой      22
Степень относительная      202
Степень приведенная      24
Степень прямая      18
Сумма прямая      25 106
Теорема Воота — Тарского      14
Теорема Лёвенгейма — Скулема      14
Теорема Лося      24
Теорема о пополнении      332
Теорема о ядре      326
Теорема об опускании типов      37
Теория      13
Теория $T_{A}$       285
Теория $T_{CR}$       332
Теория $T_{gr}$       332
Теория $T_{la}$       169
Теория $T_{LO}$       390
Теория $T_{PO}$       356
Теория $T_{\text{пл}}$       266
Теория $\forall$ -конечная      352
Теория категоричная      32
Теория модельно непротиворечивая относительно теории      34
Теория модельно полная      32
Теория модельно полная относительно теории      34
Теория наследственно неразрешимая      271
Теория непротиворечивая      14
Теория неразложимая      271
Теория полная      14
Теория разрешимая      265
Теория с абсолютно конечным числом препятствий      351
Теория с конечными препятствиями      346
Теория сильно $\forall$ -конечная      352
Теория существенно неразрешимая      271
Теория элементарная класса      13
Теория, допускающая элиминацию кванторов      34
Тип атомарный решетки      80
Тип атомарный элемента решетки      80
Тип главный      36
Тип главный над типом      37
Тип, опускаемый моделью      36
Тип, реализуемый в модели      36
Тождество      17
Ультрапроизведение      24
Ультрастепень      24
Ультрафильтр счетно неполный      40
Фактор-решетка      47
Фильтр предупорядоченного множества      356
Фильтр решетки      59
Форма шмелевская p-каноническая      160
Форма шмелевская каноническая      165
Форма эрбранова      345
Формула примитивная      33
Формула типа главная      36
Функтор $\prod$       128
Функтор $\prod_{n}$       119
Функтор $\prod_{p}$       136
Функции скулемовские      345
Характеристика элементарная булевой алгебры      89
Характеристика элементарная решетки      102
Характеристика элементарная специальной решетки      98
Характеристика элементарная элемента      90
Часть каноническая элемента      230
Часть периодическая группы      108
Эквивалентность конструктивизаций      301
Эквивалентность моделей универсальная      33
Эквивалентность нормирований      199
Эквивалентность нумераций      302
Эквивалентность нумерованных моделей      294
Эквивалентность нумерованных моделей над подмодулем      304
Эквивалентность элементарная      25
Экспонента группы      119
Элемент бесконечного порядка      108
Элемент канонический      229
Элемент кольца целый      180

1 2

Реклама

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

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

Valid HTML 4.01!

|

Valid CSS!

О проекте