Namespaces
Variants
Actions

Difference between revisions of "Elementary equivalence"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Start article: Elementary equivalence)
 
(cite Hodges (2008))
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}}

Revision as of 19:27, 26 November 2016

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:

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