Positive existential definability of multiplication from addition and the range of a polynomial

DOI10.1007/s11856-016-1410-xzbMath1408.11116OpenAlexW2530380155MaRDI QIDQ503237

Publication date: 11 January 2017

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11856-016-1410-x

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Interpolation, preservation, definability (03C40)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
A survey on Büchi's problem: new presentations and open problems
Uniform bounds for the number of rational points on curves of small Mordell-Weil rank
Powerful values of polynomials and a conjecture of Vojta
Finiteness theorems for abelian varieties over number fields.
The classification of rational preperiodic points of quadratic polynomials over \(\mathbb{Q}\): A refined conjecture
Uniform boundedness for rational points
Uniform bounds for the number of rational points on hyperelliptic curves of small Mordell-Weil rank
Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
Decidability and undecidability of theories with a predicate for the primes
Decidability and essential undecidability
Weak Second‐Order Arithmetic and Finite Automata
LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
Polynomials whose values are powers.
Questions of decidability and undecidability in Number Theory
The Diophantine equation f(x) = g(y)
Extensions of Büchi's problem: Questions of decidability for addition and kth powers
Polynomials of certain special types
Uniformity of rational points
Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
Reducts of (C, +, ·) which contain +

This page was built for publication: Positive existential definability of multiplication from addition and the range of a polynomial