Difference between revisions of "Elementary equivalence"
From Encyclopedia of Mathematics
(Start article: Elementary equivalence) |
m (→References: isbn link) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{TEX|done}}{{MSC|03C07}} | {{TEX|done}}{{MSC|03C07}} | ||
| − | The relationship between models for a first-order language $L$ for which the sentences of $L$ have the same truth values in the models. | + | 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: | See: | ||
| Line 7: | Line 7: | ||
* [[Keisler-Shelah isomorphism theorem]] | * [[Keisler-Shelah isomorphism theorem]] | ||
* [[Abstract algebraic logic]] | * [[Abstract algebraic logic]] | ||
| + | |||
| + | ====References==== | ||
| + | * Hodges, Wilfrid. "Model theory" Encyclopaedia of Mathematics and Its Applications '''42'''. Cambridge University Press (2008) {{ISBN|978-0-521-06636-5}} {{ZBL|1139.03021}} | ||
Latest revision as of 12:00, 23 November 2023
2020 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:
- Fraïssé characterization of elementary equivalence
- Keisler-Shelah isomorphism theorem
- Abstract algebraic logic
References
- Hodges, Wilfrid. "Model theory" Encyclopaedia of Mathematics and Its Applications 42. Cambridge University Press (2008) ISBN 978-0-521-06636-5 Zbl 1139.03021
How to Cite This Entry:
Elementary equivalence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Elementary_equivalence&oldid=39816
Elementary equivalence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Elementary_equivalence&oldid=39816