elementary equivalence
elementary equivalence · elementary equivalences
A relation between two structures which have the property that every first-order…A relation between two structures which have the property that every first-order formula is valid in one structure if and only if it is valid in the other.
Meaning
1 sensesA relation between two structures which have the property that every first-order formula is valid in one structure if and only if it is valid in the other.
Forms
plural: elementary equivalences| Singular | elementary equivalence |
|---|---|
| Plural | elementary equivalences |
regular