Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)



Decision methods in the theory of ordinals

Author: J. Richard Büchi
Journal: Bull. Amer. Math. Soc. 71 (1965), 767-770
MathSciNet review: 0189997
Full-text PDF

References | Additional Information

References [Enhancements On Off] (What's this?)

  • 1. J. Richard Büchi, Weak second-order arithmetic and finite automata, Z. Math. Logik Grundlagen Math. 6 (1960), 66–92. MR 0125010
  • 2. J. Richard Büchi, On a decision method in restricted second order arithmetic, Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr .), Stanford Univ. Press, Stanford, Calif., 1962, pp. 1–11. MR 0183636
  • 3. S. Feferman, Some recent work of Ehrenfeucht and Fraïssé, Summer Institute for Symbolic Logic, Cornell Univ., 1957, Commun. Research Div., Institute for Defense Analyses, 1960, pp. 201-209.
  • 4. S. Feferman and R. L. Vaught, The first order properties of products of algebraic systems, Fund. Math. 47 (1959), 57–103. MR 0108455
  • 5. R. McNaughton, Reviews of Weak second order arithmetic and finite automata and On a decision method in restricted second order arithmetic by J. R. Büchi, J. Symb. Logic 28 (1963), 100-102.
  • 6. A. Ehrenfeucht, Application of games to some problems of mathematical logic, Bull. Acad. Polon. Sci. Cl. III. 5 (1957), 35–37, IV (English, with Russian summary). MR 0085198
  • 7. Calvin C. Elgot, Decision problems of finite automata design and related arithmetics, Trans. Amer. Math. Soc. 98 (1961), 21–51. MR 0139530, 10.1090/S0002-9947-1961-0139530-9
  • 8. J. Richard Büchi, Transfinite automata recursions and weak second order theory of ordinals, Logic, Methodology and Philos. Sci. (Proc. 1964 Internat. Congr.), North-Holland, Amsterdam, 1965, pp. 3–23. MR 0210593

Additional Information