В математике , теории моделей являются изучением (классы) математические структуры , таких как группы , полей , графики или даже модели теории множеств с помощью инструментов из математической логики . Теория моделей тесно связана с алгеброй и универсальной алгеброй .
Подкатегории
В этой категории отображается 5 подкатегорий из имеющихся.
- ► Модель теоретиков (40 P)
- ► конечной теории модели (2 С, 11 С)
- ► Внутренняя модель теории (1 С, 10 С)
- ► Анализ Нестандартные (28 Р)
- ► Универсальная алгебра (36 P)
Страницы в категории "Теория моделей"
Следующие 108 страниц находятся в текущей категории. Этот список может не отражать недавние изменения ( подробнее ).
А
C
D
E
F
грамм
ЧАС
- Харди поле
- Наследственная собственность
- Грушовского строительства
я
- Воображаемый элемент
- Неразличимые
- Учреждение (информатика)
- Теория институциональной модели
- Интерпретация (логика)
- Интерпретация (теория моделей)
J
- Совместное свойство встраивания
K
- Семантика Крипке
L
- Теорема Лось – Тарского о сохранении
- Тест Лось – Воота
- Число Левенхайма
- Теорема Левенгейма – Сколема
M
- Модель полная теория
- Гипотеза Чанга
- Ранг Морли
N
- НИП (теория моделей)
- Нестандартная модель
- Нестандартная модель арифметики
О
- О-минимальная теория
- Омега-категориальная теория
- Упорядоченное экспоненциальное поле
п
- Возможный изоморфизм
- Предгеометрия (теория моделей)
- Пресбургерская арифметика
- Prime модель
- Псевдоконечное поле
- Псевдоэлементарный класс
Q
- Исключение квантора
- Квантор ранг
р
- Настоящее закрытое кольцо
- Уменьшенный продукт
- Уменьшить
S
- Удовлетворенность
- Насыщенная модель
- Подпись (логика)
- Сколем нормальная форма
- Парадокс Сколема
- Разумность
- Спектр предложения
- Спектр теории
- Спектр устойчивости
- Стабильная группа
- Семантика стабильной модели
- Стабильная теория
- Сила (математическая логика)
- Сильно минимальная теория
- Структурная теория Рамсея
- Структура (математическая логика)
- Подструктура (математика)
Т
- Приручить группу
- Проблема экспоненциальной функции Тарского
- Теорема Тенненбаума
- Переходная модель
- Истинная арифметика
- Двухвариантная логика
- Тип (теория модели)
U
- U-ранг
- Ультрапродукт
V
- Оценка (логика)
- Гипотеза воота
W
- Слабо о-минимальная структура
- Теорема Уилки
Z
- Геометрия Зарисского
- Спектр Циглера