# 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.
• 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)
Bib entry
@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}
}