Construction of decidable singular theories of two successor functions with an extra predicate

DOI10.1007/BF01979864zbMath0598.03008MaRDI QIDQ1079557

L. P. Lisovik

Publication date: 1984

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187269

zbMATH Keywords

singular second-order theory of two successor functions

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Reversal-bounded multicounter ?-machines

Cites Work

• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Unnamed Item
• Unnamed Item

This page was built for publication: Construction of decidable singular theories of two successor functions with an extra predicate