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.

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