О-минимальная теория
О-минимальная теория Определение o-минимальных структур Структура (M,<,…) называется o-минимальной, если каждое определяемое подмножество X ∈ M является конечным объединением интервалов […]
Вики
‘Теория моделей’
Вики
Ультрапродукт
Ультрапродуктовый продукт Определение ультрапродукта Ультрапродукт — это частное от прямого произведения семейства структур. Все факторы должны иметь одинаковую сигнатуру. Ultrapower
Вики
Удаление квантификатора
Устранение квантификатора Исключение квантификатора Концепция упрощения в математической логике, теории моделей и теоретической информатике Формула без квантификаторов эквивалентна утверждению без
Вики
Встраивание – Arc.Ask3.Ru
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее
Вики
Упорядоченное показательное поле
Упорядоченное экспоненциальное поле Определение упорядоченного экспоненциального поля Упорядоченное экспоненциальное поле — это упорядоченное поле с функцией, обобщающей экспоненциальные функции на
Вики
Встраивание
Встраивание Определение вложения Вложение — это инъективная и сохраняющая структуру карта между двумя математическими структурами. В теории категорий отображение, сохраняющее