{"id":"arxiv/2606.00812","url":"https://arxiv.org/abs/2606.00812","tags":["math.LO","cs.LO"],"score":0,"title":"A New Ehrenfeucht-Fraïssé Game for Dependence Logic","domain":"math.LO","source":"arxiv","authors":["Joni Puljujärvi","Jouko Väänänen"],"reviews":0,"subject":"math.LO","summary":"We define a new Ehrenfeucht-Fraïssé game for dependence logic. The previously known rendition of such a game was based on moves that are teams. Since teams can be massive, making team moves may be quite complicated. To remedy this, our new Ehrenfeucht-Fraïssé game for dependence logic has only moves that consist of single elements, as in the classical Ehrenfeucht-Fraïssé game of first order logic. A new feature of the game is that a player can declare that their move is made on the basis of certain previous moves only and thereby in a sense independent of other moves. We show that our game…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-30","reactions":{}}