Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств

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

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

Название: Математический интуиционизм. Введение в теорию доказательств

Автор: Драгалин А.Г.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

BK-алгебра      91
BK-модель      113
BK-шкала      91
Аксиома свертывания      167
Аксиомы негативные      33
Аксиомы нелогические      32
Аксиомы определяющие для примитивно рекурсивных описаний      40
Аксиомы позитивные      33
Алгебра истинностных значений      100 210
Алгебраическая модель для языка      100
Анализ вывода      227
Аргументные места      37
Аргументные места функциональные      37
Аргументные места числовые      37
Арифметика      39
Арифметика Гейтинга      40
Арифметика примитивно рекурсивная      45
Арифметика формальная интуиционистская      40
Арифметика формальная классическая      40
Ацел      150 240
Базис открытых элементов      84
Базис точки      95
Базисная система Клини      158
Бар-индукция      157
Бар-индукция монотонная      158
Бар-индукция разрешимая      157
Бег      91 93 99 113 115 119 120 153 240
Бернини      166 249
Бета модель      115
Бета шкала      93
Бета — Крипке алгебра      92
Бета — Крипке модель      113
Бета — Крипке шкала      91
Бизон      75 221 240
Бинарный кортеж      93 119 131
Бишоп      7 34 47 240
Боковая формула логического правила      226
Брауэр      7 34 62 158 159 164 170 240
Брауэра алгебры      77
Булева алгебра      78
Буххольц      35 188 240
Бэр      86 93 120
Бэра пространство (обобщенное)      86
ван Далон      15 35 165 179 185 242
ван Хувен      179 249
ван, Роотселаар      165 247
Варпаховский, Ф.Л.      72 240
Вельдман      115 241 244
Верхний фрагмент редукции      237
Вес фигуры      237
Веспи      8 10 44 75 154—157 168 178 241 243
Взятия внутренности операция      82
Вид      216
Вид правильный      219
Возможный кандидат в реализации      64
Выбора схема      156 172 173 174
Вывод      226
Вывод индуктивный      233
Вывод интуиционистский      225
Вывод классический      225
Вывод нормальный      232
Вывод редуктивный      232
Выводимая в теории формула      32 33
Выводимая секвенция      33
Выделенное значение матрицы      76
Вынуждение      111 113
Высказывательная форма      12
Высота вывода      24
Габбай      99 241
Гаргов, Г.К.      161 241
Гейтинг      7 8 20 34 35 40 74 75 164 241
Гельфонд, А.О.      16
Генкин      123 210 241
Генцен      9 26 35 45 223 228 241
Герчиу, В.Я.      99 244
Гёдель      35 45 73 97 178 241'
Гжегорчик      93 115 118 241
Гротендик      153
Гудмен      75 241
Гудстейн      7 34 45 241
Гуревич      99 241
Даммет      153 242
де Йонг      152 243
де Сварт      115 247
Дерево      121
Дерево высоты до $\omega$       121
Джервел      35 242
Дизъюнктивности свойство исчисления      30 59 67 142
Дизъюнкция      11 77 80
Дискретное двоеточие      90
Достижимости отношение      91
Драгалин, А.Г.      35 45 61 62 75 151 153 162 178 179 188 210 223 242
Единица алгебры      78
Ершов, Ю.Л.      179 243
Естественная эквивалентность      78
Естественное упорядочение      78
Жирар      35 188 243
Зависимого выбора схема      157
Значение оцененного терма      106 195
Значение оцененного терма в момент      112
Значение оцененной формулы      77 106
Значение формулы      77 106 213
Импликация      11
Индекс фигуры      237
Индуктивная сложность вывода      233
Индукция формальная      40
Интерпретация негативная      46
Интуиционистская простая теория типов      190
Информативности отношение      91
Истинная в модели формула      109
Истинностное значение матрицы      76
Истинность по де Йонгу      152
Исчисление предикатов Гейтинга      20
Исчисление секвенций      23
Йех      74 94 243
Канал      179 216
Кановей, В.Г.      74 163 243
Каноническая окрестность      86
Кантор      86 120
Кантора пространство      86
Кипнио, М.М.      72 73 243
Классический формальный анализ      163
Клини      8—10 20 34 35 40 41 44 47 48 60 74 75 146 150 154— 163 178 218 221 243
Колмогорова, Н.      45 243
Константа неопределенная      39
Константа языка      99 189 224
Конструктивного подбора принцип      61
Конструктивное рассуждение      45
Конструкция      13
Конус острый      86 94
Конъюнкция      11 77 80
Корень частично упорядоченного множества      121
Кортеж бинарный      93 119 131
Крайзел      34 73 75 155 161 163 165 170 173 175 178 179 243 244 249
Крипке      87 91 92 97 99 111 113 115 121 153 163 164 244
Крипке алгебра      87
Крипке модель      111
Крипке шкала      87
Критическая пара      126
Кроль, М.Д.      162 179 185 244
Кузнецов, А.В.      99 244
Кушнер, Б.А.      7 34 47 61 244
Левин, А.М.      163 244
Лейвант      73 153 244
Лифшиц      67 244
Логическая сложность формулы      26 239
Логический остов      87
Лопес-Эскобар      115 244
Лукасевич      85 245
Любецкий, В.А.      74 245

Майхилл      34 47 75 165 166 168 245
Макнейл      94
Макнейла алгебра      94
Максимова, Л.Л.      99 245
Марков, А.А.      8 10 34 45 61 62 118 163 165 245
Маркова правило      143
Маркова принцип      61 119 143
Маркова, согласованная с логикой      77
Мартин-Лёф      7 34 35 188 245
Матрица пропозициональная логическая      76
Мендельсон      8 20 34 35 40 48 245
Мера определенности терма      104
Место полное      123
Место совместное      123
Минц, Г.Е.      35 45 245
Мир взрывающийся      115
Мир возможный      91
Мир нормальный      93
Мир странный      93 114
Множество квазиупорядоченное (к.у.м.)      77 91
Множество частично упорядоченное (ч.у.м.)      78 120
Модель ВК      113
Модель для теории      110 196
Модельная структура      193
Модельная структура специализированная      195
Модельная структура экстенсиональная      194
Момент более поздний      91
Момент шкалы      91
Монотонности свойство      82
Московакис      158 162 168 178 185 246
Мощность ветвления      121
Мощность языка      100
Набор формул      20 190 224
Название правила вывода      226
Непрерывный функционал      158 169
Непротиворечивая теория      33
Нижний фрагмент редукции      237
Новиков, П.С.      34 62 151 246
Нуль алгебры      77
Нумерованная пара языка      124
Область определенности объекта      101 114 211
Обратимость правила вывода      25
Общее индуктивное определение      171
Объединение множества в решетке      80
Объектные области      100 203 210
Оператор типа замыкания      87
Оператор типа пополнения      89
Операторный способ задания функций      102
Операция Сморинского      141
Оревков, В.П.      73 246
Освальд      35 188 246
Основная формула логического правила      226
Основная формула фигуры сечения      235
Основное отношение      78
Основной терм правила      226
Острый конус      86 94
Отвергаемая в теории формула      33
Открытое подмножество      85
Открытый элемент алгебры      82
Отмеченный набор      131
Отношение вынуждения      111 113
Оцененная формула      12 73 96 103 216
Оцененный терм      103 194
Оценка в данный момент      112
Очередь элемента      124
Параметр      11 100
Пейтин, Г.С.      73 97 249
Переменная      11 99 189
Переменная пропозициональная      78
Переменная свободная      11
Переменная связанная      11
Пересечение множества в решетке      80
Перспективный кортеж      131
Плиско, В.Е.      73 246
Подвывод      227
Подформульности свойство      31
Полерс      35 246
Полная алгебра      81
Полное множество      197
Полное множество в смысле Харропа      29
Полной открытости условие      82
Полный элемент алгебры      87
Полуоценка      128 203
Порядковая топология      86
Последовательность беззаконная      175 176
Последовательность выбора      154
Постоянная предметная область      101
Посылки фигуры сечения      235
Потенциальной осуществимости принцип      18
Поттингер      223 246
Поуэлл      47 246
Правило введения символа      23
Правило вывода      23 191 224
Правило вывода дополнительное      192 225 226
Правило вывода логическое      224
Правило вывода основное      101 192 225 226
Правило вывода структурное      225
Правило объемности (экстенсиональности)      191
Правило редукции      228 231
Правило редукции примитивное      228
Правило сечения      26 192 225
Правило сокращения      25 192 225
Правильная фигура      237
Правиц      35 188 192 223 246
Предикат типа реализуемости      148
Предикатный символ языка      99 189 224
Предикатов логика      20
Предикатов логика Гейтинга      20
Предикатов логика интуиционистская      20
Предложение      12 190 224
Предметная область      110 210
Предметный объект      100
Предметный объект известный к моменту      111 113
Примитивно рекурсивная замкнутость      155
Примитивно рекурсивная функция      36
Примитивно рекурсивное описание      36
Примитивно рекурсивный анализ      156
Принцип P      63 144
Принцип аналитического задания      174
Принцип Брауэра      159
Принцип Брауэра для функций      159
Принцип Брауэра для чисел      160
Принцип индукции по определению K      171
Принцип Маркова      61 143
Принцип наименьшего числа      145
Принцип неопределенности      176
Принцип непрерывности Брауэра      158 174 177
Принцип непрерывности слабый      160
Принцип полной математической индукции      40
Принцип разрешимости      176
Принцип сохранности      18
Продолжение набора      132
Промежуточная логика      72
Прямое произведение алгебр      80
Псевдобулева алгебра      77
Путь шкалы      91
Путь шкалы, выходящий из момента      91
Равенство в языке      100
Разрешимость исчисления высказываний      32 135
Расёва      79 83 95 153 246
Распределение аргументных мест      37
Раца, М.Ф.      99 246
Реализуемости метод      36 146
Реализуемость рекурсивная по Клини      52
Реализуемость тождественная      72
Редукция аксиомная      228
Редукция вилки      230
Редукция главная      236
Редукция дальняя      236
Редукция добавления      229

1 2

О проекте