|
 |
Авторизация |
|
 |
Поиск по указателям |
|
 |
|
 |
|
 |
 |
|
 |
|
Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств |
|
 |
Предметный указатель |
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
Дерево высоты до 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
|
|
 |
Реклама |
 |
|
|