Атомарная модель (математическая логика)
-
Определение атомарной модели
- Атомарная модель — это модель, в которой каждый кортеж аксиоматизируется одной формулой.
- Типы, аксиоматизированные одной формулой, называются основными типами.
- Формулы, аксиоматизирующие основные типы, называются полными формулами.
-
Примеры атомарных моделей
- Упорядоченное поле вещественных чисел является уникальной атомарной моделью теории вещественных замкнутых полей.
- Любая конечная модель является атомной.
- Плотное линейное упорядочение без конечных точек является атомарным.
- Любая простая модель счетной теории является атомарной.
- Теория исчисляемого числа независимых унарных соотношений является полной, но не имеет атомарных моделей.
-
Свойства атомарных моделей
- Обратный метод используется для доказательства изоморфизма между двумя элементарно эквивалентными счетными атомарными моделями.
-
Рекомендации по форматированию
- Приведены рекомендации по форматированию библиографических описаний и других элементов в HTML.