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

DOI10.1007/S11856-016-1410-XMaRDI QIDQ503237zbMATH OpenOpenAlexFDO

Authors Hector Pasten, Xavier Vidaux

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

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

Recommendations

• Defining multiplication in some additive expansions of polynomial rings
• scientific article; zbMATH DE number 1059204
• Defining multiplication in o-minimal expansions of the additive reals
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• New Computational Paradigms

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 98592 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1209542 (Why is no real title available?)
• scientific article; zbMATH DE number 2120947 (Why is no real title available?)
• scientific article; zbMATH DE number 772546 (Why is no real title available?)
• scientific article; zbMATH DE number 847782 (Why is no real title available?)
• scientific article; zbMATH DE number 884909 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• A survey on Büchi's problem: new presentations and open problems
• Decidability and essential undecidability
• Decidability and undecidability of theories with a predicate for the primes
• Diagonal quadratic forms and Hilbert's Tenth Problem
• Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
• Extensions of Büchi's problem: Questions of decidability for addition and kth powers
• Finiteness theorems for abelian varieties over number fields.
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• Polynomials of certain special types
• Polynomials whose values are powers.
• Powerful values of polynomials and a conjecture of Vojta
• Questions of decidability and undecidability in Number Theory
• Reducts of (C, +, ·) which contain +
• The Diophantine equation f(x) = g(y)
• The classification of rational preperiodic points of quadratic polynomials over \(\mathbb{Q}\): A refined conjecture
• Topology of diophantine sets: remarks on Mazur's conjectures
• Uniform boundedness for rational points
• Uniform bounds for the number of rational points on curves of small Mordell-Weil rank
• Uniform bounds for the number of rational points on hyperelliptic curves of small Mordell-Weil rank
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
• Uniformity of rational points
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(2)

• The power of primitive positive definitions with polynomially many variables
• Defining multiplication in some additive expansions of polynomial rings

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

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