The Strategic Balance of Games in Logic

This publication has 14 references indexed in Scilit:

• The Size of a Formula as a Measure of Complexity
  2015
• The complexity of homomorphism and constraint satisfaction problems seen from the other side
  Journal of the ACM, 2007
• Infinitary logics and 0–1 laws
  Information and Computation, 1992
• Countable approximations and Löwenheim-Skolem theorems
  Annals of Mathematical Logic, 1977
• Infinitary properties, local functors, and systems of ordinal functions
  1972
• 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 quantifiers
  The Journal of Symbolic Logic, 1969
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
  Proceedings of the National Academy of Sciences, 1963
• An application of games to the completeness problem for formalized theories
  Fundamenta Mathematicae, 1960
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950