Undecidable Extensions of Monadic Second Order Successor Arithmetic
- 1 January 1971
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 17 (1) , 385-394
- https://doi.org/10.1002/malq.19710170143
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Büchi’s Monadic Second Order Successor ArithmeticLecture Notes in Mathematics, 1970
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successorThe Journal of Symbolic Logic, 1966
- Restricted set-theoretical definitions in arithmeticProceedings of the American Mathematical Society, 1958
- Restricted Set-Theoretical Definitions in ArithmeticProceedings of the American Mathematical Society, 1958
- Decidability and essential undecidabilityThe Journal of Symbolic Logic, 1957