scientific article; zbMATH DE number 8420

zbMATH Open0747.03008MaRDI QIDQ3971059FDOQ3971059

Authors: Véronique Terrier 

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants
• A logical approach to the problem of representation of integers by systems of diagonal forms
• Decidability of extended theories of addition of the natural numbers and the integers
• scientific article; zbMATH DE number 221693

zbMATH Keywords

algorithmorderdivisibilityuniversal theorypower functionsnatural numbersexistential theorynegations of conditions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Decidability (number-theoretic aspects) (11U05)

Cited In (9)

• A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma
• Decidability of the theory of the natural integers with the Cantor pairing function and the successor
• Title not available (Why is that?)
• Foundations of Software Science and Computational Structures
• A logical approach to the problem of representation of integers by systems of diagonal forms
• Title not available (Why is that?)
• The elementary theory of the natural lattice is finitely axiomatizable
• Universal theories of integers and the extended Bliznetsov hypothesis
• Decidability of extended theories of addition of the natural numbers and the integers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971059)