TY - RPRT TI - An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers AU - Simi Haber AU - Saharon Shelah PY - 2015 UR - https://arxiv.org/abs/1510.06581 ID - 1510.06581 ER -