Decidability of extended theories of addition of the natural numbers and the integers

DOI10.1007/BF00968894zbMath0586.03008MaRDI QIDQ1071748

Alexandre A. Ivanov

Publication date: 1984

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

chain of subgroupstwo-base model

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites Work

• Weak Second‐Order Arithmetic and Finite Automata
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Decidability of extended theories of addition of the natural numbers and the integers