Elementary diagram

For diagrams of electrical circuits, see 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 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 c_a 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 c_a 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).

References

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

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Model theory Mathematical logic stubs Wikimedia Foundation. 2010. Игры ⚽ Нужно сделать НИР? Euler–Fokker genus Complete field Look at other dictionaries: Elementary symmetric polynomial — In mathematics, specifically in commutative algebra, the elementary symmetric polynomials are one type of basic building block for symmetric polynomials, in the sense that any symmetric polynomial P can be expressed as a polynomial in elementary… …   Wikipedia Circuit diagram — Comparison of pictorial and schematic styles of circuit diagrams …   Wikipedia Feynman diagram — Physics. a network of lines that represents a series of emissions and absorptions of elementary particles by other elementary particles, from which the probability of the series can be calculated. Also called Feynman graph. [1965 70; named after… …   Universalium Stellation diagram — In geometry, a stellation diagram or stellation pattern is a two dimensional diagram in the plane of some face of a polyhedron, showing lines where other face planes intersect with this one. The lines cause 2D space to be divided up into regions …   Wikipedia Coxeter–Dynkin diagram — See also: Dynkin diagram Coxeter Dynkin diagrams for the fundamental finite Coxeter groups …   Wikipedia Data flow diagram — example.[1] A data flow diagram (DFD) is a graphical representation of the flow of data through an information system, modelling its process aspects. Often they are a preliminary step used to create an overview of the system which can later be… …   Wikipedia Sentence diagram — X bar theory graph of the sentence He studies linguistics at the university. IP = Inflectional phrase. In pedagogy, a sentence diagram is a pictorial representation of the grammatical structure of a natural language sentence. A sentence diagram… …   Wikipedia Function block diagram — A function block diagram is a diagram, that describes a function between input variables and output variables. A function is described as a set of elementary blocks. Input and output variables are connected to blocks by connection lines. An… …   Wikipedia Venn diagram — A kind of diagram invented by Venn in 1881, for representing and assessing the validity of elementary inferences either of a syllogistic form, or from the Boolean algebra of classes (Venn was attempting to illustrate Boole s own methods). In a… …   Philosophy dictionary Feyn|man diagram — «FAYN muhn», a graphic representation of the interactions of elementary particles: »Electromagnetic and weak processes exhibit striking similarities when depicted in the form of Feynman diagrams. Such diagrams symbolize the interactions that… …   Useful english dictionary 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”