Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants

DOI10.2307/2159410zbMath0806.03011OpenAlexW4249831957MaRDI QIDQ3987627

Véronique Terrier

Publication date: 28 June 1992

Full work available at URL: https://doi.org/10.2307/2159410

zbMATH Keywords

algorithm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Cites Work

• Solutions of systems consisting of word equations and inequalities in lengths of words
• Some Decidable Diophantine Problems: Positive Solution to a Problem of Davis, Matijasevic and Robinson
• The Diophantine Problem for Addition and Divisibility

This page was built for publication: Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants