elementary equivalence

In model theory elementary equivalence is a relation among structures of the same signature?: two such structures are **elementary equivalent** if they satisfy the same first order sentences. This relation has been introduced by Tarski.

- G. E. Sacks,
*Saturated model theory*, Benjamin 1972 - wikipedia: elementary equivalence

Revised on January 11, 2011 04:02:37
by JCMc Keown
(142.151.171.122)