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