Advertisement

Using determinancy of games to eliminate quantifiers

  • J. Richard Buchi
Section C Computability, Decidability & Arithmetic Complexity
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)

Keywords

Finite Automaton Decision Method Free Algebra Countable Model Winning Strategy 
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.

Bibliography

  1. R. Rado, Axiomatic treatment of rank in infinite sets, Canadian J. of Math. 1 (1949), 337–343.Google Scholar
  2. F.P. Ramsey, On a problem of formal logic, Proc. London Math. Soc. 30 (1929), 264–286.Google Scholar
  3. J.R. Büchi, The monadic second order theory of θ1, Lecture Notes in Math. 328, Springer (1973), 1–127.Google Scholar
  4. J.R. Büchi, On a decision method in restricted second order arithmetic, Proc. 1960 Int. Cong. for Logic, Stanford Univ. Press (1962), 1–11.Google Scholar
  5. L. Löwenheim, Über Möglichkeiten im Relativekalkul, Math. Ann. 76 (1915), 447–470.Google Scholar
  6. F. Hausdorff, Mengenlehre, 3. Auflage, Dover N.Y. 1944.Google Scholar
  7. R. McNaughton, Testing and generating infinite sequences by finite automata, Inform. and Control 9. (1966), 521–530.Google Scholar
  8. Büchi and Landweber, Solving sequential conditions by finite state operators, Trans. Am. Math. Soc. 138 (1969) 295–311.Google Scholar
  9. D.A. Martin, Measurable cardinals and analytic games, Fu. Math 66 (1970), 287–291.Google Scholar
  10. M.O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Am. Math. Soc. 141 (1969) 1–35.Google Scholar
  11. M. Davis, Infinite games of perfect information, Advances in game theory, Ann. of Math. Study 52 (1964), 85–101.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • J. Richard Buchi
    • 1
  1. 1.Purdue UniversityUSA

Personalised recommendations