Теория моделей

Вики

Встраивание

Встраивание Определение и примеры вложенных множеств Вложенное множество – это подмножество одного множества, которое является образом другого множества.  Примеры включают […]

Вики

Структурная теория Рэмсея

Структурная теория Рамсея Определение и свойства Рамсея Рамсей – это свойство, которое утверждает, что в любой категории с конечными объектами

Вики

Категориальная теория

Категориальная теория Определение категоричности в математической логике Теория является категоричной, если имеет только одну модель с точностью до изоморфизма.  В

Вики

Геометрия Зарисского

Геометрия Зариски Определение геометрии Зарисского Геометрия Зарисского состоит из топологической структуры на множестве X, удовлетворяющей определенным аксиомам.  Каждое Xn является

Вики

Редактировать

Уменьшать Определение сокращения и расширения в универсальной алгебре и теории моделей Сокращение алгебраической структуры – это исключение некоторых операций и

Вики

Предгеометрия (теория моделей)

Прегеометрия (теория моделей) Определение и примеры предгеометрий Предгеометрия – это структура, которая включает в себя множество и операцию замыкания.  Примеры

Вики

Интерпретация (теория моделей)

Интерпретация (теория моделей) Определение интерпретации структуры Интерпретация структуры M в N приближает идею представления M внутри N.  Интерпретация включает пару

Вики

Неразличимые

Неразличимые Определение неразличимых элементов Неразличимые элементы – объекты, которые невозможно отличить по формуле.  Обычно рассматриваются только формулы первого порядка.  Исторический

Вики

Обратный метод

Возвратно-поступательный метод Основы обратного метода в математической логике Обратный метод используется для демонстрации изоморфизма между счетными структурами.  Применяется к линейно

Вики

Дифференциально замкнутое поле

Дифференциально замкнутое поле Основы теории дифференциально замкнутых полей Теория дифференциально замкнутых полей (DCF) изучает поля, в которых дифференциальные уравнения имеют

Вики

Псевдоэлементарный класс

Псевдоэлементарный класс Определение псевдоэлементарного класса Псевдоэлементарный класс является сокращением от элементарного класса, исключая некоторые виды и отношения.  Математический аналог в

Вики

C-минимальная теория

С-минимальная теория Определение C-минимальной теории C-минимальная теория является “минимальной” по отношению к троичному отношению C с определенными свойствами.  Алгебраически замкнутые

Вики

Слабо o-минимальная структура

Слабо о-минимальная структура Определение слабо о-минимальной структуры Слабо о-минимальная структура – это теоретико-модельная структура с конечными объединениями выпуклых множеств.  Линейно

Вики

Стабильная группа

Стабильная группа Определение и примеры групп конечного ранга Морли Группа конечного ранга Морли – это группа, в которой формула x

Вики

Расширение форка

Разветвляющееся удлинение Определение разветвляющегося и неразветвляющегося расширения Разветвляющееся расширение имеет меньший ранг Морли, чем неразветвляющееся.  Разветвляющееся расширение может быть использовано

Вики

Потенциальный изоморфизм

Потенциальный изоморфизм Определение потенциального изоморфизма Потенциальный изоморфизм – это набор частичных изоморфизмов, удовлетворяющих определенным условиям замыкания.  Существование частичного изоморфизма влечет

Вики

Хрущевка

Строительство в Грушовском Обобщение предела Фрейссе Конструкция Грушовского расширяет предел Фрейссе, используя отношение  ≤  вместо  ⊆  .  Это позволяет создавать

Вики

Объединенное имущество

Собственность на объединение Определение и примеры Объединение – это свойство, которое позволяет рассматривать структуры как подструктуры более крупных структур.  Примеры

Вики

Премьер-модель

Основная модель Определение простой модели Простая модель – это модель с минимальной сложностью, которая может быть встроена в любую другую

Прокрутить вверх