Список тем математической логики

Это список математических логических тем , на Википедии странице.

Для традиционной силлогистической логики см. Список тем по логике . См. Также список тем о вычислимости и сложности, чтобы узнать больше о теории алгоритмов .

Рабочие фонды [ править ]

• Аксиомы Пеано
  • Джузеппе Пеано
• Математическая индукция
  • Структурная индукция
  • Рекурсивное определение
• Наивная теория множеств
  • Элемент (математика)
    • Ур-элемент
  • Синглтон (математика)
  • Простые теоремы алгебры множеств
  • Алгебра множеств
  • Набор мощности
  • Пустой набор
  • Непустой набор
  • Пустая функция
• Вселенная (математика)
• Аксиоматизация
• Аксиоматическая система
  • Схема аксиомы
• Аксиоматический метод
• Формальная система
• Математическое доказательство
  • Прямое доказательство
  • Reductio ad absurdum
  • Доказательство истощением
  • Конструктивное доказательство
  • Неконструктивное доказательство
• Тавтология
• Доказательство непротиворечивости
• Арифметизация анализа
• Основы математики
• Формальный язык
• Принципы математики
• Программа Гильберта
• Предикативный
• Определимое действительное число
• Алгебраическая логика
  • Булева алгебра (логика)
• Диалектическое пространство
• категориальная логика

Теория моделей [ править ]

• Теория конечных моделей
  • Теория описательной сложности
  • Проверка модели
  • Теорема Трахтенброта
• Теория вычислимых моделей
  • Проблема экспоненциальной функции Тарского
  • Неразрешимая проблема
• Теория институциональной модели
  • Учреждение (информатика)
• Нестандартный анализ
  • Нестандартное исчисление
  • Hyperinteger
  • Гиперреальное число
  • Принцип передачи
  • Переполнение
  • Элементарное исчисление: бесконечно малый подход
  • Критика нестандартного анализа
  • Стандартная функция детали
• Теория множеств
  • Принуждение (математика)
    • Булевозначная модель
• Семантика Крипке
  • Общий каркас
• Логика предикатов
  • Логика первого порядка
    • Бесконечная логика
    • Многосортная логика
  • Логика высшего порядка
    • Квантификатор Линдстрема
    • Логика второго порядка
• Теорема о разумности
• Теорема Гёделя о полноте
  • Оригинальное доказательство теоремы Гёделя о полноте
• Теорема компактности
• Теорема Левенгейма – Сколема
  • Парадокс Сколема
• Теоремы Гёделя о неполноте
• Структура (математическая логика)
• Интерпретация (логика)
• Подструктура (математика)
• Элементарная подструктура
  • Сколемский корпус
• Нестандартная модель
• Атомная модель (математическая логика)
• Prime модель
• Насыщенная модель
• Экзистенциально замкнутая модель
• Ультрапродукт
• Возраст (теория модели)
  • Объединенная собственность
  • Грушовского строительства
• Возможный изоморфизм
• Теория (математическая логика)
  • Полная теория
    • Тест Воота
  • Теорема Морли о категоричности
    • Спектр устойчивости
      • Ранг Морли
      • Стабильная теория
        • Расширение разветвления
        • Сильно минимальная теория
        • Стабильная группа
          • Приручить группу
    • о-минимальная теория
    • Слабо о-минимальная структура
    • C-минимальная теория
    • Спектр теории
      • Гипотеза воота
  • Модель полная теория
  • Список теорий первого порядка
  • Консервативное расширение
  • Начальный класс
    • Псевдоэлементарный класс
    • Сила (математическая логика)
• Дифференциально замкнутое поле
• Экспоненциальное поле
• Теорема Акс-Гротендика
• Теорема Акс-Кохена
• Аксиомы Пеано
• Нестандартная модель арифметики
• Арифметика первого порядка
• Арифметика второго порядка
• Пресбургерская арифметика
• Теорема Уилки
• Функциональный предикат
• Т-схема
• Возвратно-поступательный метод
• Теорема Барвайса о компактности
• Сколемизация
• Алгебра Линденбаума – Тарского
• Теорема Лёба
• Арифметический набор
• Определимый набор
• Игра Эренфойхта – Фраиссе
• Интерпретация Herbrand / Структура Herbrand
• Воображаемый элемент
• Неразличимые
• Интерпретация (теория модели) / Интерпретируемая структура
• Предгеометрия (теория моделей)
• Исключение квантора
• Уменьшить
• Подпись (логика)
• Сколем нормальная форма
• Тип (теория модели)
• Геометрия Зарисского

Теория множеств [ править ]

• Алгебра множеств
• Аксиома выбора
  • Аксиома счетного выбора
  • Аксиома зависимого выбора
  • Лемма Цорна
• Булева алгебра (структура)
• Булевозначная модель
• Парадокс Бурали-Форти
• Возвратно-поступательный метод Кантора
• Диагональный аргумент Кантора
• Первое доказательство несчетности Кантора
• Теорема кантора
• Теорема Кантора – Бернштейна – Шредера.
• Мощность
  • Число Алеф
    • Алеф-нуль
    • Алеф-он
  • Число Бет
  • количественное числительное
  • Число Хартогса
• Декартово произведение
• Класс (теория множеств)
• Дополнение (теория множеств)
• Полная булева алгебра
• Континуум (теория множеств)
  • Проблема суслина
• Гипотеза континуума
• Счетный набор
• Теория описательных множеств
  • Аналитический набор
  • Аналитическая иерархия
  • Отношение борелевской эквивалентности
  • Набор Infinity-Borel
  • Аналитическая игра Lightface
  • Идеальное свойство набора
  • Польское пространство
  • Предварительный заказ
  • Проективный набор
  • Собственность Бэра
  • Униформизация (теория множеств)
  • Универсально измеримый набор
• Решительность
  • AD +
  • Аксиома определенности
  • Аксиома проективной детерминированности
  • Аксиома реальной определенности
• Пустой набор
• Принуждение (математика)
• Нечеткое множество
• Теория внутреннего множества
• Пересечение (теория множеств)
• L
• L (R)
• Большое кардинальное свойство
• Теория музыкального декора
• Порядковый номер
  • Бесконечная нисходящая цепочка
  • Предельный порядковый номер
  • Порядковый номер преемника
  • Трансфинитная индукция
    • ∈-индукция
  • Обоснованный набор
  • Хороший порядок
• Набор мощности
• Парадокс Рассела
• Теория множеств
  • Альтернативная теория множеств
  • Аксиоматическая теория множеств
  • Теория множеств Крипке – Платека с элементарными элементами.
  • Теория множеств Морса – Келли
  • Наивная теория множеств
  • Новые основы
  • Положительная теория множеств
  • Теория множеств Цермело – Френкеля.
  • Теория множеств Цермело
• Набор (математика)
• Простые теоремы алгебры множеств
• Подмножество
• Θ (теория множеств)
• Дерево (описательная теория множеств)
• Дерево (теория множеств)
• Союз (теория множеств)
• Вселенная фон Неймана
• Нулевой диез

Теория описательных множеств [ править ]

• Аналитическая иерархия

Крупные кардиналы [ править ]

• Почти кардинал Рэмси
• Кардинал Эрдёша
• Расширяемый кардинал
• Огромный кардинал
• Кардинал Hyper-Woodin
• Недоступный кардинал
• Невыразимый кардинал
• Мало кардинал
• Измеримый кардинал
• N-огромный кардинал
• Кардинал Рэмси
• Ранг в ранг
• Замечательный кардинал
• Кардинал Шела
• Сильный кардинал
• Сильно недоступный кардинал
• Тонкий кардинал
• Сверхкомпактный кардинал
• Сверхсильный кардинал
• Совершенно неописуемый кардинал
• Слабо компактный кардинал
• Слабо гипервудин кардинал
• Слабо недоступный кардинал
• Вуден кардинал
• Раскладной кардинал

Теория рекурсии [ править ]

• Entscheidungsproblem
• Проблема решения
• Разрешимость (логика)
• Тезис Черча-Тьюринга
• Вычислимая функция
  • Алгоритм
  • Рекурсия
  • Примитивная рекурсивная функция
  • Оператор му
  • Функция Аккермана
  • Машина Тьюринга
  • Проблема с остановкой
  • Теория вычислимости , вычисления
  • Вселенная Herbrand
  • Марковский алгоритм
  • Лямбда-исчисление
    • Теорема Черча-Россера
    • Расчет конструкций
  • Комбинаторная логика
  • Проблема с почтовой перепиской
• Теорема Клини о рекурсии
• Рекурсивно перечислимый набор
  • Рекурсивно перечислимый язык
• Решаемый язык
• Неразрешимый язык
• Теорема Райса
• Теорема Поста
• Степень Тьюринга
• Эффективные результаты в теории чисел
• Диофантовый набор
• Теорема Матиясевича
• Задача со словом для групп
• Арифметическая иерархия
• Теория субрекурсии
  • Пресбургерская арифметика
  • Теория вычислительной сложности
  • Полиномиальное время
  • Экспоненциальное время
  • Класс сложности
    • Классы сложности P и NP
    • Теорема Кука
    • Список классов сложности
    • Полиномиальная иерархия
    • Экспоненциальная иерархия
  • НП-полный
  • Теорема об иерархии времени
  • Теорема пространственной иерархии
• Естественное доказательство
• Гипервычисления
  • Машина Oracle
• Рожа Петер
• Церковь Алонсо
• Эмиль Пост
• Алан Тьюринг
• Жак Эрбранд
• Хаскелл Карри
• Стивен Коул Клини
• Определимое действительное число

Теория доказательств [ править ]

• Метаматематика
• Устранение порезов
• Теорема Тарского о неопределенности
• Диагональная лемма
• Логика доказуемости
• Логика интерпретируемости
• Секвент
• Последовательное исчисление
• Аналитическое доказательство
• Теория структурных доказательств
• Самопроверяющиеся теории
• Субструктурная логика
  • Структурное правило
    • Ослабление
    • Сокращение
  • Линейная логика
    • Интуиционистская линейная логика
    • Доказательство сети
  • Аффинная логика
  • Строгая логика
  • Соответствующая логика
• Теоретико-доказательная семантика
• Ludics
• Система F
• Герхард Гентцен
• Доказательство непротиворечивости Гентцена
• Обратная математика
• Неупорядоченность
• Интерпретируемость
• Слабая интерпретируемость
• Интерпретируемость
• Терпимая последовательность
• Котолерантная последовательность
• Теорема дедукции
• Циркулярное исчисление

Математический конструктивизм [ править ]

• Неконструктивное доказательство
• Теорема существования
• Интуиционистская логика
• Интуиционистская теория типов
• Теория типов
• Лямбда-исчисление
  • Теорема Черча – Россера
• Просто типизированное лямбда-исчисление
• Типизированное лямбда-исчисление
• Изоморфизм Карри – Ховарда
• Расчет конструкций
• Конструктивистский анализ
• Лямбда-куб
• Система F
• Введение в теорию топосов
• LF (логическая структура)
• Логика вычислимости
• Теория вычислимой меры
• Финитизм
• Ультраинтуиционизм
• Луитцен Эгбертус Ян Брауэр

Модальная логика [ править ]

• Семантика Крипке
• Формула Сахлквиста
• Внутренняя алгебра

Средства доказательства теорем [ править ]

• Разрешение первого порядка
• Автоматическое доказательство теорем
• Программа доказательства теорем ACL2
• Доказательство эквациональных теорем
• Инструмент доказательства теорем Гэндальфа
• Инструмент доказательства теорем HOL
• Инструмент доказательства теорем Изабель
• Инструмент доказательства теорем LCF
• Программа доказательства теорем выдры
• Средство доказательства теорем парадокса
• Доказательство теорем вампиров
• Интерактивная система доказательств
• Система Мицар
• QED проект
• Coq

Системы обнаружения [ править ]

• Автоматизированный математик
• Eurisko

Исторический [ править ]

• Begriffsschrift
• Системы логики на основе порядковых чисел -доктор философии Алана Тьюринга. Тезис

См. Также [ править ]

• Курт Гёдель
• Альфред Тарский
• Сахарон Шелах