Elementary equivalence

Noun

Definitions

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

Synonyms

equivalence valuation identity element structurality knuth equivalence extensionality equivalence relation autoequivalence equivalence class linear logic well-formed formula equisatisfiability

🔗 Find words with "elementary equivalence" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.