elementary equivalence
English
Noun
elementary equivalence (plural elementary equivalences)
- (logic) 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.
Translations
relation between logical structures
This article is issued from
Wiktionary.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.