2001 | OriginalPaper | Buchkapitel
The Ehrenfeucht Game
verfasst von : Joel Spencer
Erschienen in: The Strange Logic of Random Graphs
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The Ehrenfeucht Game is a powerful tool for logicians but it can be an even more powerful tool for those with little knowledge of logic. The Game itself is defined without reference to Logic and the analysis of the game is combinatorial. Some basic bridging theorems allow one oftentimes to go from analysis of the Game to results about first order statements. Ehrenfeucht’s original paper [6] is a true classic.