2015/10/22 by Simi Haber, Saharon Shelah, Haber, Simi +1
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO
paper · pdf · doi:10.48550/arxiv.1510.06581
published as in: {Fields of logic and computation. II} (2015) 226--236
arxiv created 2015/10/22 · arxiv updated 2015/10/23
We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use.