Sh:1059

• Haber, S., & Shelah, S. (2015). An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers. In Fields of logic and computation. II, Vol. 9300, Springer, Cham, pp. 226–236. arXiv: 1510.06581 DOI: 10.1007/978-3-319-23534-9_13 MR: 3485648
• Abstract:
  We propose an extension of the Ehrenfeucht-Fraı̈sse game able to deal with logics augmented with Lindström quantifiers. We describe three different games with varying balance between simplicity and ease of use.
• published version (11p)

@incollection{Sh:1059,
 author = {Haber, Simcha and Shelah, Saharon},
 title = {{An extension of the Ehrenfeucht-Fra\"iss\'e game for first order logics augmented with Lindstr\"om quantifiers}},
 booktitle = {{Fields of logic and computation. II}},
 series = {Lecture Notes in Comput. Sci.},
 volume = {9300},
 year = {2015},
 pages = {226--236},
 publisher = {Springer, Cham},
 mrnumber = {3485648},
 mrclass = {03C85 (03C55)},
 doi = {10.1007/978-3-319-23534-9_13},
 note = {\href{https://arxiv.org/abs/1510.06581}{arXiv: 1510.06581}},
 arxiv_number = {1510.06581}
}