Advertisement

The Ehrenfeucht Game

  • Joel Spencer
Part of the Algorithms and Combinatorics book series (AC, volume 22)

Abstract

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.

Keywords

Equivalence Class Random Graph Free Variable Marked Point Function Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Joel Spencer
    • 1
  1. 1.Courant InstituteNew York UniversityNew YorkUSA

Personalised recommendations