Science Fair Project Encyclopedia

Science Fair Project Encyclopedia Contents Page

Elementary substructure

In model theory, given two structures $M$ and $N$ in the same language $L$ , we say that $M$ is an elementary substructure of $N$ (notated sometimes $M < N$ ) if

1. $M$ is a substructure of $N$ , and

2. for every finite tuple $a\in M$ , for every formula $\varphi(x)$ of the language $L$ , we have that $M\models \varphi(a)$ if and only if $N\models \varphi(a)$ .

The second part may also be presented as saying that

T h L (M) (M) = T h L (M) (N)

The Tarski-Vaught test is very useful in determining whether, given a pair $M\subset N$ , $M$ is an elementary substructure of $N$ .

Categories: Model theory

Science Fair Project Encyclopedia Contents Page

03-10-2013 05:06:04
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details

All Science Fair Projects

Science Fair Project Encyclopedia for Schools!

Science Fair Project Encyclopedia

Elementary substructure