An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers

DOI10.1007/978-3-319-23534-9_13zbMath1465.03075arXiv1510.06581MaRDI QIDQ2947176

Saharon Shelah, Simi Haber

Publication date: 22 September 2015

Published in: Fields of Logic and Computation II (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.06581

Mathematics Subject Classification ID

91A80: Applications of game theory

03C80: Logic with extra quantifiers and operators

03C55: Set-theoretic model theory