The theory of successor with an extra predicate
- 1 June 1978
- journal article
- Published by Springer Nature in Mathematische Annalen
- Vol. 237 (2) , 121-132
- https://doi.org/10.1007/bf01351676
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- First-order logic and its extensionsPublished by Springer Nature ,2006
- A note on undecidable extensions of monadic second order successor arithmeticArchive for Mathematical Logic, 1975
- Undecidable Extensions of Monadic Second Order Successor ArithmeticMathematical Logic Quarterly, 1971
- Definability in the monadic second-order theory of successorThe Journal of Symbolic Logic, 1969
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successorThe Journal of Symbolic Logic, 1966