Элементарная схема
В математической области теории моделей элементарная диаграмма структуры . представляет собой набор всех предложений с параметрами из структуры, которые истинны в этой структуре Ее еще называют полной диаграммой .
Определение [ править ]
Пусть M — структура первого порядка языка L . Расширенный язык L ( M ) получается добавлением к L символа ca постоянного для каждого 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
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |