Английская Википедия:Elementary diagram

Материал из Онлайн справочника
Версия от 22:47, 2 марта 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} {{for|diagrams of electrical circuits|Circuit diagram}} In the mathematical field of model theory, the '''elementary diagram''' of a structure is the set of all sentences with parameters from the structure that are true in the structure. It is also called the '''complete diag...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:For

In the mathematical field of model theory, the elementary diagram of a structure is the set of all sentences with parameters from the structure that are true in the structure. It is also called the complete diagram.

Definition

Let M be a structure in a first-order language L. An extended language L(M) is obtained by adding to L a constant symbol ca for every element a of M. The structure M can be viewed as an L(M) structure in which the symbols in L are interpreted as before, and each new constant ca is interpreted as the element a. The elementary diagram of M is the set of all L(M) sentences that are true in M (Marker 2002:44).

See also

References

Шаблон:Mathematical logic


Шаблон:Mathlogic-stub

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Elementary_diagram&oldid=14497891