Positive existential definability of multiplication from addition and the range of a polynomial
type: Item
instance of: scholarly article
title: Positive existential definability of multiplication from addition and the range of a polynomial
zbMATH Open document ID: 1408.11116
author: Hector Pasten
author: Xavier Vidaux
published in: Israel Journal of Mathematics
publication date: 2017-01-11T00:00:00Z
Mathematics Subject Classification ID: 11U05
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 13F20
zbMATH DE Number: 6673801
MaRDI profile type: Publication
full work available at URL: s11856-016-1410-x
OpenAlex ID: W2530380155
cites work: Q4866834
cites work: The Diophantine equation f(x) = g(y)
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Uniformity of rational points
cites work: Topology of diophantine sets: remarks on Mazur's conjectures
cites work: Polynomials of certain special types
cites work: Finiteness theorems for abelian varieties over number fields.
cites work: Q4830003
cites work: Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
cites work: Q4143433
cites work: Uniform bounds for the number of rational points on curves of small Mordell-Weil rank
cites work: Questions of decidability and undecidability in Number Theory
cites work: Q2770573
cites work: Q4880349
cites work: Q4212157
cites work: Reducts of (C, +, ·) which contain +
cites work: Q5613949
cites work: Q4022705
cites work: Q4838352
cites work: Uniform boundedness for rational points
cites work: Powerful values of polynomials and a conjecture of Vojta
cites work: A survey on Büchi's problem: new presentations and open problems
cites work: Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
cites work: Extensions of Büchi's problem: Questions of decidability for addition and kth powers
cites work: The classification of rational preperiodic points of quadratic polynomials over \(\mathbb{Q}\): A refined conjecture
cites work: Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
cites work: Decidability and essential undecidability
cites work: Polynomials whose values are powers.
cites work: LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
cites work: Uniform bounds for the number of rational points on hyperelliptic curves of small Mordell-Weil rank
cites work: Diagonal quadratic forms and Hilbert's Tenth Problem
cites work: Decidability and undecidability of theories with a predicate for the primes
DOI: 10.1007/S11856-016-1410-X
description: scientific article; zbMATH DE number 6673801