Diagram elementarny

Diagram elementarny (modelu M języka pierwszego rzędu L) – zbiór zdań, które są prawdziwe w modelu M. Dokładniej:

Definicja

Niech L(M) będzie rozszerzeniem języka L o zbiór elementów postaci c_a indeksowany wszystkimi elementami modelu M. M jest modelem języka L(M), gdzie nowe elementy c_a traktowane są jako stałe oraz są interpretowane jako odpowiadające im elementy a. Zbiór wszystkich zdań języka L(M), które są prawdziwe w M nazywany jest diagramem elementarnym modelu M (Marker 2002:44).

Bibliografia

• Chang Chen Chung, Keisler H. Jerome: Model Theory. Elsevier, 1989. ISBN 978-0-7204-0692-4.brak strony w książce
• Hodges Wilfrid: A shorter model theory. Cambridge University Press, 1997. ISBN 978-0-521-58713-6.brak strony w książce
• Marker David: Model Theory: An Introduction. Berlin, New York: Springer-Verlag, 2002, seria: Graduate Texts in Mathematics. ISBN 978-0-387-98760-6.brak strony w książce