Positive existential definability of multiplication from addition and the range of a polynomial
From MaRDI portal
Publication:503237
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
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