References
Büchi, J.R.: On a decision method in restricted second order arithmetic. Proc. Internat. Congr. Logic, Method. and Philos. Sci. 1960, Stanford Univ. Press, 1962.
Elgot, C.C., Rabin, M.O.: Decidability and undecidability of second (first) order theories of (generalized) successor. J. Symb. Logic31 (1966), 169–181.
Robinson, R.M.: Restricted set-theoretical definitions in arithmetic. Proc. AMS9 (1958), 238–242.
Siefkes, D.: Undecidable extensions of monadic second order successor arithmetic. Zeitschr. f. Math. Logik u. Grundl. d. Math.17 (1971), 385–394.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Thomas, W. A note on undecidable extensions of monadic second order successor arithmetic. Arch math Logik 17, 43–44 (1975). https://doi.org/10.1007/BF02280812
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280812