Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826 (e) ISSN 0002-9939 (p)
     

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 $ M,N$, e.g. of cardinality $ \aleph_1$, such that in the Ehrenfeucht-Fraissé game of any length $ \zeta < \omega_1$ 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.


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google