|
EF-equivalent not isomorphic pair of models
Author(s):
Saharon
Shelah
Journal:
Proc. Amer. Math. Soc.
136
(2008),
4405-4412.
MSC (2000):
Primary 03C75
Posted:
August 4, 2008
Retrieve article in:
PDF
Abstract |
References |
Similar articles |
Additional information
Abstract:
We construct non-isomorphic models , e.g. of cardinality , such that in the Ehrenfeucht-Fraissé game of any length the isomorphism player wins.
References:
-
- [HvSh 866]
- Chanoch Havlin and Saharon Shelah.
Existence of EF-equivalent non-isomorphic models. Mathematical Logic Quarterly, 53:111-127, 2007. MR 2308491 (2008d:03029) - [Sh 897]
- Saharon Shelah.
Theories with EF-Equivalent Non-isomorphic Models. Tbilisi Mathematical Journal, submitted. math.LO/0703477. - [Sh 836]
- Saharon Shelah.
On long EF-equivalence in non-isomorphic models. In Proceedings of Logic Colloquium, Helsinki, August 2003, Lecture Notes in Logic, volume 24, pages 315-325. Assoc. Symbol. Logic, 2006. MR 2207360 (2007a:03044) - [Tur90]
- Heikki Tuuri.
Infinitary languages and Ehrenfeucht-Fraïssé games. Ph.D. thesis, University of Helsinki, 1990. - [Va95]
- Jouko Väänänen.
Games and trees in infinitary logic: A survey. In M. Mostowski M. Krynicki and L. Szczerba, editors, Quantifiers, pages 105-138. Kluwer, 1995.
Similar Articles:
Retrieve articles in Proceedings of the American Mathematical Society
with MSC
(2000):
03C75
Retrieve articles in all Journals with MSC
(2000):
03C75
Additional Information:
Saharon
Shelah
Affiliation:
Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Edmond J. Safra Campus, Givat Ram, Jerusalem 91904, Israel - and - Department of Mathematics, Hill Center, Rutgers, The State University of New Jersey, 110 Frelinghuysen Road, Piscataway, New Jersey 08854-8019
Email:
shelah@math.huji.ac.il
DOI:
10.1090/S0002-9939-08-09362-3
PII:
S 0002-9939(08)09362-3
Received by editor(s):
May 29, 2007,
Received by editor(s) in revised form:
September 11, 2007, and September 25, 2007
Posted:
August 4, 2008
Additional Notes:
The author's research was supported by the German-Israeli Foundation for Scientific Research and Development (Grant No. I-706-54.6/2001). Publication 907
Communicated by:
Julia Knight
Copyright of article:
Copyright
2008,
American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.
|