elementary equivalence

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Noun

[edit]
English Wikipedia has an article on:
Wikipedia

elementary equivalence (plural elementary equivalences)

  1. (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

[edit]
Retrieved from "https://en.wiktionary.org/w/index.php?title=elementary_equivalence&oldid=70918361"