Decision methods in the theory of ordinals
HTML articles powered by AMS MathViewer
- by J. Richard Büchi PDF
- Bull. Amer. Math. Soc. 71 (1965), 767-770
References
- J. Richard Büchi, Weak second-order arithmetic and finite automata, Z. Math. Logik Grundlagen Math. 6 (1960), 66–92. MR 125010, DOI 10.1002/malq.19600060105
- 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.
- S. Feferman and R. L. Vaught, The first order properties of products of algebraic systems, Fund. Math. 47 (1959), 57–103. MR 108455, DOI 10.4064/fm-47-1-57-103 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.
- 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
- Calvin C. Elgot, Decision problems of finite automata design and related arithmetics, Trans. Amer. Math. Soc. 98 (1961), 21–51. MR 139530, DOI 10.1090/S0002-9947-1961-0139530-9
- 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
- Journal: Bull. Amer. Math. Soc. 71 (1965), 767-770
- DOI: https://doi.org/10.1090/S0002-9904-1965-11384-2
- MathSciNet review: 0189997