О-минимальная теория
О-минимальная теория Определение o-минимальных структур Структура (M,<,…) называется o-минимальной, если каждое определяемое подмножество X ∈ M является конечным объединением интервалов […]
Вики
Mathematical logic
Вики
Ультрапродукт
Ультрапродуктовый продукт Определение ультрапродукта Ультрапродукт — это частное от прямого произведения семейства структур. Все факторы должны иметь одинаковую сигнатуру. Ultrapower
Вики
Теорема Краскала о дереве
Теорема о дереве Крускала Теорема Крускала о дереве Множество конечных деревьев над хорошо квазиупорядоченным набором меток само по себе хорошо
Вики
Сюрреалистическое число
Сюрреалистическое число Определение сюрреалистических чисел Сюрреалистические числа — это полностью упорядоченный класс, содержащий действительные числа, бесконечные и бесконечно малые числа.
Вики
Субитизация – Arc.Ask3.Ru
Подразделяющий Разбивка на группы Быстрая, точная и уверенная оценка количественных показателей для небольшого количества элементов Термин введен в 1949 году
Вики
Аксиомы Пеано
Аксиомы Пеано Основы арифметики Пеано Арифметика Пеано – это аксиоматическая система, описывающая натуральные числа и операции над ними. Аксиомы Пеано
Вики
Интерполяция Крейга
Интерполяция Крейга Интерполяция Крейга Интерполяция Крейга – это метод доказательства непротиворечивости теорий, основанный на теореме Линдона. Теорема Линдона утверждает, что
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
С2С (математика)
S2S (математика) Определение и свойства теории S2S Теория S2S – это теория, которая включает в себя все формулы первого порядка,
Вики
Категориальная теория
Категориальная теория Определение категоричности в математической логике Теория является категоричной, если имеет только одну модель с точностью до изоморфизма. В
Вики
Свидетель (математика) – Википедия
Свидетель (математика) Определение свидетеля в математической логике Свидетель – это значение переменной, которое делает экзистенциальное утверждение истинным. Примеры свидетельств включают
Вики
Абсолютность (логика)
Абсолютность (логика) Теорема Шенфилда Теорема утверждает, что все транзитивные модели теории множеств имеют одинаковую конструктивную вселенную. Это означает, что все
Вики
Коинтерпретируемость
Взаимоинтерпретируемость Определение коинтерпретируемости Коинтерпретируемость – бинарное отношение между формальными теориями, позволяющее переводить язык одной теории на язык другой. Перевод сохраняет
Вики
Людис – Википедия
Людики Основы ludics Логическая логика анализирует принципы вывода математической логики. Ludics использует сложные связки, фокусировку и локусы вместо предложений. Связь
Вики
Теоретико-доказательная семантика
Теоретико-доказательная семантика Основы теоретико-доказательной семантики Основана Герхардом Гентценом, формализована в его отчете об исключении сокращений. Изучает роль пропозиций и связок
Вики
Диагональная лемма
Диагональная лемма Диагональная лемма Геделя Лемма утверждает, что в любой теории первого порядка, способной представлять все примитивно-рекурсивные функции, существует предложение,
Вики
Термин алгебра
Алгебра терминов Определение терминальной алгебры Терминальная алгебра – это алгебра, в которой все элементы являются терминами. Терминальные алгебры используются для
Вики
Структура Эрбрана – Википедия
Структура бренда Herbrand Основы логики первого порядка Структура Гербранда S определяется синтаксисом словаря σ. Термины в словаре интерпретируются как значения
Вики
Интерпретация Эрбрана
Интерпретация гербового знака Интерпретация Гербранда в математической логике Интерпретация Гербранда присваивает простые значения константам и функциональным символам. Константы интерпретируются сами
Вики
Премьер-модель
Основная модель Определение простой модели Простая модель – это модель с минимальной сложностью, которая может быть встроена в любую другую