Elementary equivalence
- 初等等价(初等等价:给定语言的两个结构,如果它们的理论相同,则它们初等等价)
Elementary equivalence
-
abstract:
In model theory, a branch of mathematical logic, two structures M and N of the same signature σ are called elementarily equivalent if they satisfy the same first-order σ-sentences.
以上来源于:
WordNet