A New Ehrenfeucht-Fraïssé Game for Dependence Logic
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.00812
curl -X POST /api/v1/records/arxiv/2606.00812/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.00812/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'