nLab
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.

Last revised on January 11, 2011 at 04:02:37. See the history of this page for a list of all contributions to it.