О-минимальная теория
О-минимальная теория Определение o-минимальных структур Структура (M,<,…) называется o-минимальной, если каждое определяемое подмножество X ∈ M является конечным объединением интервалов […]
Вики
Model theory
Вики
Ультрапродукт
Ультрапродуктовый продукт Определение ультрапродукта Ультрапродукт — это частное от прямого произведения семейства структур. Все факторы должны иметь одинаковую сигнатуру. Ultrapower
Вики
Удаление квантификатора
Устранение квантификатора Исключение квантификатора Концепция упрощения в математической логике, теории моделей и теоретической информатике Формула без квантификаторов эквивалентна утверждению без
Вики
Встраивание – Arc.Ask3.Ru
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее
Вики
Упорядоченное показательное поле
Упорядоченное экспоненциальное поле Определение упорядоченного экспоненциального поля Упорядоченное экспоненциальное поле — это упорядоченное поле с функцией, обобщающей экспоненциальные функции на
Вики
Встраивание
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее
Вики
Встраивание
Встраивание Определение и примеры вложенных множеств Вложенное множество – это подмножество одного множества, которое является образом другого множества. Примеры включают
Вики
Структурная теория Рэмсея
Структурная теория Рамсея Определение и свойства Рамсея Рамсей – это свойство, которое утверждает, что в любой категории с конечными объектами
Вики
Прирученный абстрактный элементарный класс
Ручной абстрактный элементарный класс Определение и свойства AEC AEC – это теория множеств с аксиомами, аналогичными аксиомам ZFC, но с
Вики
Категориальная теория
Категориальная теория Определение категоричности в математической логике Теория является категоричной, если имеет только одну модель с точностью до изоморфизма. В
Вики
Логика первого порядка
Логика первого порядка Определение логики первого порядка Логика первого порядка – это формальная система, которая включает в себя переменные, предикаты
Вики
Геометрия Зарисского
Геометрия Зариски Определение геометрии Зарисского Геометрия Зарисского состоит из топологической структуры на множестве X, удовлетворяющей определенным аксиомам. Каждое Xn является
Вики
Редактировать
Уменьшать Определение сокращения и расширения в универсальной алгебре и теории моделей Сокращение алгебраической структуры – это исключение некоторых операций и
Вики
Предгеометрия (теория моделей)
Прегеометрия (теория моделей) Определение и примеры предгеометрий Предгеометрия – это структура, которая включает в себя множество и операцию замыкания. Примеры
Вики
Интерпретация (теория моделей)
Интерпретация (теория моделей) Определение интерпретации структуры Интерпретация структуры M в N приближает идею представления M внутри N. Интерпретация включает пару
Вики
Неразличимые
Неразличимые Определение неразличимых элементов Неразличимые элементы – объекты, которые невозможно отличить по формуле. Обычно рассматриваются только формулы первого порядка. Исторический
Вики
Обратный метод
Возвратно-поступательный метод Основы обратного метода в математической логике Обратный метод используется для демонстрации изоморфизма между счетными структурами. Применяется к линейно
Вики
Дифференциально замкнутое поле
Дифференциально замкнутое поле Основы теории дифференциально замкнутых полей Теория дифференциально замкнутых полей (DCF) изучает поля, в которых дифференциальные уравнения имеют
Вики
Псевдоэлементарный класс
Псевдоэлементарный класс Определение псевдоэлементарного класса Псевдоэлементарный класс является сокращением от элементарного класса, исключая некоторые виды и отношения. Математический аналог в
Вики
C-минимальная теория
С-минимальная теория Определение C-минимальной теории C-минимальная теория является “минимальной” по отношению к троичному отношению C с определенными свойствами. Алгебраически замкнутые
Вики
Слабо o-минимальная структура
Слабо о-минимальная структура Определение слабо о-минимальной структуры Слабо о-минимальная структура – это теоретико-модельная структура с конечными объединениями выпуклых множеств. Линейно