The Diophantine Problem for Addition and Divisibility

Congruences; primitive roots; residue systems (11A07) Decidability of theories and sets of sentences (03B25) Applications of computability and recursion theory (03D80) Decidability (number-theoretic aspects) (11U05)

Cites Work

Definability and decision problems in arithmetic
Title not available (Why is that?)
On the Chinese Remainder Theorem

Cited In (29)

Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
Compositional satisfiability solving in separation logic
A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma
Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings
On two-way FA with monotonic counters and quadratic Diophantine equations
On an exponential predicate in polynomials over finite fields
Solvable problems for transformers with reversal-bounded counters
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
Reachability in Succinct and Parametric One-Counter Automata
The complexity of almost linear diophantine problems
INTERLEAVING LOGIC AND COUNTING
The diophantine problem for addition and divisibility for subrings of rational functions over finite fields
Existential decidability for addition and divisibility in holomorphy subrings of global fields
A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction
The laws of integer divisibility, and solution sets of linear divisibility conditions
Decidability questions for a ring of Laurent polynomials
Elliptic divisibility sequences and undecidable problems about rational points
NP-complete problems for systems of linear polynomial's values divisibilities
Positive existential Definability with unit, addition and coprimeness
A note on Parikh maps, abstract languages, and decision problems
Decidability of sub-theories of polynomials over a finite field
Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants
On two-way nondeterministic finite automata with one reversal-bounded counter
On parametric timed automata and one-counter machines
A view of computability on term algebras
The Diophantine problem for addition and divisibility over subrings of the rationals
On the solvability of a class of Diophantine equations and applications
Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings. II
Undecidable Existential Problems for Addition and Divisibility in Algebraic Number Rings

This page was built for publication: The Diophantine Problem for Addition and Divisibility

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