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

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

Авторизация

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

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

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

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

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

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Редукция переброса      230
Редукция перестановки правил      228
Редукция простая      236
Редукция сокращения      229
Редукция финальная      236
Решетка      78
Решетка дистрибутивная      78
Решетка импликативная      78
Роджерс      74 246
Роуз      72 247
Свободно становящаяся последовательность      154
Связки логические «классические»      46
Секвенций исчисление      23
Секвенция      23 190 224
Секвенция интуиционистская      224
Секвенция Харропа      29
Семантика      12
Семантика де Йонга      152
Семантика реализуемости      72
Семантическое соглашение      12
Семейство открытых элементов      83
Сечение      26
Сикорский      79 83 95 153 246
Символ функции      179
Скарпеллини      35 45 162 179 247
Скотт      168 179 247
Сложность фигуры      237
Сморинский      75 141 153 247
Соболев, С.К.      99 247
Собственная переменная вывода      24 227
Собственная переменная правила вывода      24 226
Собственный параметр      169
Сорт переменных      36 99
Сохранности принцип      18
Специализация модельной структуры      195
Стандартная часть предметной области      141
Стандартно вложенное поддерево      93
Степень равенства в модели      101
Степень равенства по совпадению      101
Степень через меру определенности      101
Странный мир      93 114
Суперинтуиционистская логика      72
Схема Крипке      163
Такахаси      35 153 187 188 191 203 247
Такеути      187 188 247
Тарский      85 151 210 220 241 245
Тезис Чёрча формальный      48
Тейт      35 75 188 248
Теорема Генцена о допустимости сечения      26
Теорема о дедукции      20
Теорема Харропа      29
Теория интуиционистская      32
Теория классическая      32
Теория формальная аксиоматическая      32
Теория формальная аксиоматическая простая      34
Теория формальная аксиоматическая составная      33
Терм      38 99 189
Терм для функций      38 156
Терм общерекурсивный      54
Терм примитивно рекурсивный      53
Терм функциональный      38
Терм частично рекурсивный      53
Терм числовой      38
Терм языка      99
Тип      189
Тип примитивно рекурсивного описания      37
Томасон      153 248
Топологическая булева алгебра      83

Топологическая модель      110
Топологическая псевдобулева алгебра      82
Топологическое пространство      84
Точка топологического пространства      84
Точка шкалы      91
Точная верхняя грань множества в решетке      77 80
Точная нижняя грань множества в решетке      77 80
Тривиальная структура путей      93
Трулстра      34 35 61 75 115 155 163 165 170 171 173 175 178 179 242 243 248
Условие вынуждающее      91
Фан Динь Зиеу      34 47 248
Феферман      220 248
Фигура сечения      235
Финитное доказательство      44
Финитный вывод      45
Фиттинг      153 248
Форма      211
Формула      11 39 100 190 224
Формула атомарная      11 38 100 224
Формула бескванторная      45
Формула Гжегорчика      118
Формула негативная      45
Формула оцененная      12 77 96 216
Формула почти негативная      45
Формула пропозициональная      77
Формула Цейтина      73
Формула Янкова      73
Формульный образ секвенции      23
Фрагменты редукции      236
Фридман      47 75 248
Функтор      156
Функциональная алгебраическая модель      212
Функциональная псевдобулева алгебра      210
Функциональный символ языка      99 189
Функция      155
Функция беззаконная      155 176
Функция запирающая      158
Функция конструктивная      155 168
Функция собственная      173
Функция стабильная      158
Функция, заданная законом      155 168
Функция, проходящая через кортеж      86 93
Хазенъегер      123
Халмош      210 248
Харроп      9 29 35 248
Хината      35 249
Ховард      161 249
Цепная псевдобулева алгебра      80
Цукер      223 249
Шанин, Н.А.      34 45 249
Шенфилд      74 249
Шехтман, В.Б.      99 249
Шломюк      153 249
Штрих Ацела      150
Штрих-реализуемость      146
Шютте      153 188 249
Экзистенциальности свойство исчисления      30 59 67 142
Элементарный анализ      157
Эсакиа, Л.Л.      99 249
Язык      11
Язык аналитический      39
Язык логико-математический      11 99
Язык многосортный аналитический      39
Язык многосортный арифметический      39
Янков, В.А.      73 99 249
Ярус элемента дерева      121
«Исторические аргументы Брауэра»      164
«Непосредственно выше» отношение      121

1 2

О проекте