Elementary equivalence is a concept in model theory, a branch of mathematical logic. Two structures (or models) \( A \) and \( B \) are said to be **elementarily equivalent** if they satisfy the same first-order sentences.
Articles by others on the same topic
There are currently no matching articles.