Namespaces
Variants
Actions

Elementary equivalence

From Encyclopedia of Mathematics
(Redirected from Elementarily equivalent)
Jump to: navigation, search

2010 Mathematics Subject Classification: Primary: 03C07 [MSN][ZBL]

The relationship between models for a first-order language $L$ for which the sentences of $L$ have the same truth values in the models. Such models are said to be "elementarily equivalent" or "first-order equivalent".

See:

References

How to Cite This Entry:
Elementarily equivalent. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Elementarily_equivalent&oldid=39819