Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Ehrenfeucht–Fraïssé_game> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples per page.
- Ehrenfeucht–Fraïssé_game abstract "In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game (also called back-and-forth games)is a technique 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 finite model theory and its applications in computer science (specifically Computer Aided Verification and database theory), since Ehrenfeucht–Fraïssé games are one of the few techniques from model theory that remain valid in the context of finite models. Other widely used techniques for proving inexpressibility results, such as the compactness theorem, do not work in finite models.Ehrenfeucht–Fraïssé like games can also be defined for other logics, such as fixpoint logics and pebble games for finite variable logics; extensions are powerful enough to characterise definability in existential second-order logic.".
- Ehrenfeucht–Fraïssé_game wikiPageExternalLink index.html.
- Ehrenfeucht–Fraïssé_game wikiPageID "1040475".
- Ehrenfeucht–Fraïssé_game wikiPageLength "8232".
- Ehrenfeucht–Fraïssé_game wikiPageOutDegree "24".
- Ehrenfeucht–Fraïssé_game wikiPageRevisionID "681201675".
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Andrzej_Ehrenfeucht.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Back-and-forth_method.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Binary_relation.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Bruno_Poizat.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Category:Model_theory.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Compactness_theorem.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Computer_Aided_Verification.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Database_theory.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Elementarily_equivalent.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Elementary_equivalence.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Existential_second-order_logic.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Finite_model_theory.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink First-order_logic.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Fixpoint_logic.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Function_(mathematics).
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Heloise_and_Abelard.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Héloïse_(abbess).
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Joel_Spencer.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Linear_ordering.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Model_theory.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Natural_number.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Neil_Immerman.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Pebble_game.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Relation_(mathematics).
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Roland_Fraïssé.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Second-order_logic.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Springer-Verlag.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Springer_Science+Business_Media.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Structure_(mathematical_logic).
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Total_order.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLink Wilfrid_Hodges.
- Ehrenfeucht–Fraïssé_game wikiPageWikiLinkText "Ehrenfeucht–Fraïssé game".
- Ehrenfeucht–Fraïssé_game hasPhotoCollection Ehrenfeucht–Fraïssé_game.
- Ehrenfeucht–Fraïssé_game wikiPageUsesTemplate Template:Cite_book.
- Ehrenfeucht–Fraïssé_game subject Category:Model_theory.
- Ehrenfeucht–Fraïssé_game comment "In the mathematical discipline of model theory, the Ehrenfeucht–Fraïssé game (also called back-and-forth games)is a technique 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.".
- Ehrenfeucht–Fraïssé_game label "Ehrenfeucht–Fraïssé game".
- Ehrenfeucht–Fraïssé_game sameAs Ehrenfeucht-Fraïssé-Spiele.
- Ehrenfeucht–Fraïssé_game sameAs Gioco_di_Ehrenfeucht-Fraïssé.
- Ehrenfeucht–Fraïssé_game sameAs Jogo_de_Ehrenfeucht–Fraïssé.
- Ehrenfeucht–Fraïssé_game sameAs m.040rcy.
- Ehrenfeucht–Fraïssé_game sameAs Q1300013.
- Ehrenfeucht–Fraïssé_game sameAs Q1300013.
- Ehrenfeucht–Fraïssé_game wasDerivedFrom Ehrenfeucht–Fraïssé_game?oldid=681201675.
- Ehrenfeucht–Fraïssé_game isPrimaryTopicOf Ehrenfeucht–Fraïssé_game.