Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. R. Büchi, Weak second order arithmetic and finite automata, Z. Math. Logik Grundlagen Math., 6 (1960) 66–72.
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.
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.
A. Nakamura, On causal ω2-systems, J. of Computer and System Sciences, 10 (1975) 235–265.
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.
H. Putnam, Decidability and essential undecidability, J. Symbolic Logic, 22 (1957) 39–54.
M. O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc., 141 (1969) 1–35.
R. M. Robinson, Restricted set-theoretical definitions in arithmetic, Proc. Amer. Math. Soc., 9 (1958) 238–242.
D. Siefkes, Undecidable extensions of monadic second order successor arithmetic, Z. Math. Logik Grundlagen Math., 17 (1971) 385–394.
W. Thomas, A note on undecidable extensions of monadic second order successor arithmetic, Arch. math. Logik, 17 (1975) 43–44.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Ono, H., Nakamura, A. (1981). Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata. In: Müller, G.H., Takeuti, G., Tugué, T. (eds) Logic Symposia Hakone 1979, 1980. Lecture Notes in Mathematics, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090984
Download citation
DOI: https://doi.org/10.1007/BFb0090984
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11161-0
Online ISBN: 978-3-540-38633-9
eBook Packages: Springer Book Archive