Оглавление
Элементарная эквивалентность
-
Определение и свойства моделей
- Модель – это структура, которая интерпретирует теорию первого порядка.
- Элементарная модель – это модель, которая интерпретирует все аксиомы теории.
- Элементарные модели являются наиболее важными в теории моделей.
-
Элементарные эквивалентности и изоморфизмы
- Элементарная эквивалентность – это отношение между моделями, которые интерпретируют теорию одинаково.
- Изоморфизм – это отношение между структурами, которые имеют одинаковую сигнатуру и взаимно однозначно отображают элементы.
-
Элементарные подструктуры и расширения
- Элементарная подструктура – это структура, которая является подструктурой другой структуры с той же сигнатурой и элементарной эквивалентна ей.
- Элементарное расширение – это структура, которая является расширением другой структуры с той же сигнатурой и элементарной эквивалентна ей.
-
Тест Тарски-Воута
- Тест Тарски-Воута является критерием для проверки того, является ли подструктура элементарной подструктурой.
-
Элементарные вложения
- Элементарное вложение – это отображение, которое отображает структуру в другую структуру и сохраняет элементарную эквивалентность.
-
Рекомендации по форматированию
- Статья содержит инструкции по форматированию библиографических описаний и ссылок на источники.