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
edytujNiech L(M) będzie rozszerzeniem języka L o zbiór elementów postaci ca indeksowany wszystkimi elementami modelu M. M jest modelem języka L(M), gdzie nowe elementy ca 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
edytuj- Chang Chen Chung, Keisler H. Jerome: Model Theory. Elsevier, 1989. ISBN 978-0-7204-0692-4.
- Hodges Wilfrid: A shorter model theory. Cambridge University Press, 1997. ISBN 978-0-521-58713-6.
- Marker David: Model Theory: An Introduction. Berlin, New York: Springer-Verlag, 2002, seria: Graduate Texts in Mathematics. ISBN 978-0-387-98760-6.