Game characterizations for the number of quantifiers
Sign Up to like & getrecommendations! Published in 2024 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129523000415
Abstract: Abstract A game that characterizes equivalence of structures with respect to all first-order sentences containing a given number of quantifiers was introduced by Immerman in 1981. We define three other games and prove that they… read more here.
Keywords: optimal strategy; game; game characterizations; immerman game ... See more keywords