Ehrenfeucht–Fraïssé game
id:
ehrenfeucht-fra-ss-game-249-10498028
title:
Ehrenfeucht–Fraïssé game
text:
In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game
is a technique based on game semantics for determining whether two structures are elementarily equivalent. The main application of Ehrenfeucht–Fraïssé games is in proving the inexpressibility of certain properties in first-order logic. Indeed, Ehrenfeucht–Fraïssé games provide a complete methodology for proving inexpressibility results for first-order logic. In this role, these games are of particular importance in fini
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Ehrenfeucht%E2%80%93Fra%C3%AFss%C3%A9_game
date created:
date modified:
2023-05-16T21:45:32Z
main entity:
{"identifier":"Q1300013","url":"https://www.wikidata.org/entity/Q1300013"}
image:
fields total:
13
integrity:
13