Элементарная диаграмма

В математическом области теории моделей, элементарная диаграмма структуры структуры - это набор всех предложений с параметрами из структура, которая истинна в структуре. Его также называют полной диаграммой .

. Пусть M - структура в языке первого порядка L. Расширенный язык L (M) получается добавлением to L постоянный символ c a для каждого элемента a из M. Структуру M можно рассматривать как структуру L (M), в которой символы в L интерпретируются, как и раньше, и каждая новая константа c a интерпретируется как элемент a. Элементарная диаграмма M - это множество всех L (M) предложений, истинных в M (Marker 2002: 44).

• Чанг, Чен Чунг; Кейслер, Х. Джером (1989), Теория моделей, Elsevier, ISBN 978-0-7204-0692-4
• Ходжес, Уилфрид (1997), Более короткая теория модели, Cambridge University Press, ISBN 978-0-521-58713-6
• Маркер, Дэвид (2002), Теория моделей: Введение, Тексты для выпускников по математике, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-0-387- 98760-6