Список тем математической логики
Это список по математической логике тем .
Чтобы узнать о традиционной силлогистике, см. список тем по логике . см. в списке тем, посвященных вычислимости и сложности Дополнительную информацию по теории алгоритмов .
Рабочие фундаменты [ править ]
- Аксиомы Пеано
- Математическая индукция
- Наивная теория множеств
- Вселенная (математика)
- Аксиоматизация
- Аксиоматическая система
- Аксиоматический метод
- Формальная система
- Математическое доказательство
- тавтология
- Доказательство согласованности
- Арифметизация анализа
- Основы математики
- Официальный язык
- Принципы математики
- программа Гильберта
- Импредикативный
- Определяемое действительное число
- Алгебраическая логика
- Космическая диалектика
- категоричная логика
Теория моделей [ править ]
- Теория конечных моделей
- Теория вычислимых моделей
- Теория институциональной модели
- Нестандартный анализ
- Теория множеств
- Семантика Крипке
- Логика предикатов
- Теорема о корректности
- Теорема Гёделя о полноте
- Теорема о компактности
- Теорема Левенхайма – Скулема
- Теоремы Гёделя о неполноте
- Структура (математическая логика)
- Интерпретация (логика)
- Подструктура (математика)
- Элементарная подструктура
- Нестандартная модель
- Атомная модель (математическая логика)
- Премьер-модель
- Насыщенная модель
- Экзистенциально закрытая модель
- Ультрапродукт
- Возраст (теория модели)
- Потенциальный изоморфизм
- Теория (математическая логика)
- Дифференциально замкнутое поле
- Экспоненциальное поле
- Теорема Акса – Гротендика
- Теорема Акса – Кохена
- Аксиомы Пеано
- Нестандартная модель арифметики
- Арифметика первого порядка
- Арифметика второго порядка
- Арифметика Пресбургера
- Теорема Уилки
- Функциональный предикат
- Т-схема
- Метод туда-сюда
- Теорема Барвайса о компактности
- сколемизация
- Алгебра Линденбаума–Тарского
- Теорема Леба
- Арифметический набор
- Определяемый набор
- Игра Эренфойхта – Фрэссе
- Интерпретация Эрбрана / Структура Эрбрана
- Воображаемый элемент
- Неразличимый
- Интерпретация (теория моделей) / Интерпретируемая структура
- Предгеометрия (теория моделей)
- Удаление квантификатора
- Уменьшить
- Подпись (логика)
- Шолем нормальная форма
- Тип (теория модели)
- геометрия Зариского
Теория множеств [ править ]
- Алгебра множеств
- Аксиома выбора
- Булева алгебра (структура)
- Логическая модель
- Парадокс Бурали-Форти
- Возвратный метод Кантора
- Диагональный аргумент Кантора
- Первое доказательство несчетности Кантора
- Теорема Кантора
- Теорема Кантора–Бернштейна–Шредера
- Мощность
- Декартово произведение
- Класс (теория множеств)
- Дополнение (теория множеств)
- Полная булева алгебра
- Континуум (теория множеств)
- Непрерывная гипотеза
- Счетное множество
- Описательная теория множеств
- Аналитический набор
- Аналитическая иерархия
- Отношение борелевской эквивалентности
- Набор Бесконечность-Борел
- Аналитическая игра Lightface
- Идеальная недвижимость
- Польское пространство
- Предварительный заказ
- Проективный набор
- Собственность Байре
- Униформизация (теория множеств)
- Универсально измеримый набор
- Определенность
- Пустой набор
- Принуждение (математика)
- Нечеткий набор
- Теория внутренних множеств
- Пересечение (теория множеств)
- л
- Л(П)
- Большая кардинальная собственность
- Теория музыкальных множеств
- Порядковый номер
- Набор мощности
- Парадокс Рассела
- Теория множеств
- Набор (математика)
- Простые теоремы алгебры множеств
- Подмножество
- Θ (теория множеств)
- Дерево (дескриптивная теория множеств)
- Дерево (теория множеств)
- Союз (теория множеств)
- Вселенная фон Неймана
- Нулевая резкость
Описательная теория множеств [ править ]
Большие кардиналы [ править ]
- Почти кардинал Рэмси
- Лесной кардинал
- Расширяемый кардинал
- Огромный кардинал
- Кардинал Hyper-Wood
- Недоступный кардинал
- Невыразимый кардинал
- Кардинальные глаза
- Измеримый кардинал
- N-огромный кардинал
- Кардинал Рэмси
- Ранг в ранг
- Замечательный кардинал
- Шела кардинал
- Сильный кардинал
- Сильно недоступный кардинал
- Тонкий кардинал
- Суперкомпактный кардинал
- Сверхсильный кардинал
- Совершенно неописуемый кардинал
- Слабо компактный кардинал
- Слабо гипер-Вудин кардинал
- Слабо недоступный кардинал
- Кардинал Вуда
- Раскладной кардинал
Теория рекурсии [ править ]
- Проблема решения
- Проблема решения
- Разрешимость (логика)
- Тезис Чёрча – Тьюринга
- Вычислимая функция
- Теорема Клини о рекурсии
- Рекурсивно перечисляемый набор
- Разрешимый язык
- Неразрешимый язык
- Теорема Райса
- Теорема Поста
- Степень Тьюринга
- Эффективные результаты в теории чисел
- Диофантовый набор
- Теорема Матиясевича
- Словесная задача для групп.
- Арифметическая иерархия
- Теория субрекурсии
- Естественное доказательство
- Гипервычисления
- Питер Розса
- Церковь Алонсо
- Эмиль Пост
- Алан Тьюринг
- Жак Эрбран
- Хаскелл Карри
- Стивен Коул Клини
- Определяемое действительное число
Теория доказательств [ править ]
- Метаматематика
- Удаление порезов
- Теорема Тарского о неопределимости
- Диагональная лемма
- Логика доказуемости
- Логика интерпретации
- секвентальный
- Секвенционное исчисление
- Аналитическое доказательство
- Структурная теория доказательства
- Самопроверяющиеся теории
- Субструктурная логика
- Теоретико-доказательная семантика
- Людис
- Система Ф
- Герхард Генцен
- Доказательство непротиворечивости Генцена
- Обратная математика
- Непервая упорядочиваемость
- Интерпретируемость
- Слабая интерпретируемость
- Коинтерпретируемость
- Толерантная последовательность
- Котолерантная последовательность
- Теорема о дедукции
- Цирковое исчисление
Математический конструктивизм [ править ]
- Неконструктивное доказательство
- Теорема существования
- Интуиционистская логика
- Интуиционистская теория типов
- Теория типов
- Лямбда-исчисление
- Просто напечатанное лямбда-исчисление
- Типизированное лямбда-исчисление
- Изоморфизм Карри – Говарда
- Расчет конструкций
- Конструктивистский анализ
- Лямбда-куб
- Система Ф
- Введение в теорию топоса
- ЛФ (логическая структура)
- Вычислимая логика
- Теория вычислимой меры
- Финитизм
- Ультраинтуиционизм
- Луицен Эгбертус Ян Брауэр
Модальная логика [ править ]
Доказательства теорем [ править ]
- Разрешение первого порядка
- Автоматизированное доказательство теорем
- Я докажу теорему ACL2
- И эквациональная теорема обеспечивает
- Средство доказательства теорем Гэндальфа
- Средство доказательства теорем HOL
- Теорема Изабеллы обеспечивает
- Средство доказательства теорем LCF
- Средство доказательства теоремы Выдры
- Средство доказательства парадоксальных теорем
- Теорема о вампирах обеспечивает
- Интерактивная система доказательств
- Система Мицар
- Это проект
- Кок
Системы обнаружения [ править ]
Исторический [ править ]
- Концептуальное письмо
- Системы логики, основанные на ординалах - Алана Тьюринга. доктор философии диссертация
