Über Unentscheidbare Erweiterungen von SC
- 1 January 1978
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 24 (1-6) , 63-71
- https://doi.org/10.1002/malq.19780240109
Abstract
No abstract availableThis publication has 2 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