The Strategic Balance of Games in Logic
Author:
Preprint
Abstract
Truth, consistency and elementary equivalence can all be characterised in terms of games, namely the so-called evaluation game, the model-existence game, and the Ehrenfeucht-Fraisse game. We point out the great affinity of these games to each other and call this phenomenon the strategic balance in logic. In particular, we give explicit translations of strategies from one game to another.Keywords
All Related Versions
This publication has 5 references indexed in Scilit:
- The complexity of homomorphism and constraint satisfaction problems seen from the other sideJournal of the ACM, 2007
- Logic with the quantifier “there exist uncountably many”Annals of Mathematical Logic, 1970
- On the model theory of denumerably long formulas with finite strings of quantifiersThe Journal of Symbolic Logic, 1969
- A UNIFYING PRINCIPAL IN QUANTIFICATION THEORYProceedings of the National Academy of Sciences, 1963
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960