Multi-Structural Games and Number of Quantifiers

Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan +1

We study multi-structural games, played on two sets $\mathcal{A}$ and $\mathcal{B}$ of structures. These games generalize Ehrenfeucht-Fraïssé games. Whereas Ehrenfeucht-Fraïssé…