Author:
Ono Hiroakira,Nakamura Akira
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. J. R. Büchi, Weak second order arithmetic and finite automata, Z. Math. Logik Grundlagen Math., 6 (1960) 66–72.
2. J. R. Büchi, On a decision method in restricted second order arithmetic, Proc. Internat. Congr. Logic, Method. and Philos. Sci. 1960, Stanford Univ. Press, 1962, 1–11.
3. C. C. Elgot and M. O. Rabin, Decidability and undecidability of second (first) order theories of (generalized) successor, J. Symbolic Logic, 31 (1966) 169–181.
4. A. Nakamura, On causal ω2-systems, J. of Computer and System Sciences, 10 (1975) 235–265.
5. H. Ono and A. Nakamura, Undecidability of the first-order arithmetic A[P (x), 2x,x+1], J. of Computer and System Sciences, 18 (1979) 243–253.