Construction of decidable singular theories of two successor functions with an extra predicate
- 1 May 1984
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 23 (3) , 181-189
- https://doi.org/10.1007/bf01979864
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On a Decision Method in Restricted Second Order ArithmeticPublished by Springer Nature ,1990
- The theory of successor with an extra predicateMathematische Annalen, 1978
- DECIDABILITY PROBLEMS OF EXTENDED THEORIESRussian Mathematical Surveys, 1978
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successorThe Journal of Symbolic Logic, 1966