Mathematical logic and foundations Model theory: basic notions Concept
Elementary equivalence
Summary
Two structures for the same signature are elementarily equivalent when they satisfy the same first-order sentences. Isomorphic structures are elementarily equivalent, but the converse fails. Elementary equivalence is the notion of "sameness" that first-order logic can see.
Further reading
About this page
| Tag | P3B1V182N4 |
|---|---|
| URI | m2://P3B1V182N4 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 03C07 |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.