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

DOI10.1007/S11856-016-1410-XzbMATH Open1408.11116OpenAlexW2530380155MaRDI QIDQ503237FDOQ503237

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Finiteness theorems for abelian varieties over number fields.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A survey on Büchi's problem: new presentations and open problems
• Title not available (Why is that?)
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• Weak Second‐Order Arithmetic and Finite Automata
• Title not available (Why is that?)
• Decidability and essential undecidability
• Diagonal quadratic forms and Hilbert's Tenth Problem
• Questions of decidability and undecidability in Number Theory
• Extensions of Büchi's problem: Questions of decidability for addition and kth powers
• The Diophantine equation f(x) = g(y)
• 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
• Topology of diophantine sets: remarks on Mazur's conjectures
• Decidability and undecidability of theories with a predicate for the primes
• Polynomials whose values are powers.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 +
• Uniform bounds for the number of rational points on curves of small Mordell-Weil rank
• Powerful values of polynomials and a conjecture of Vojta

Cited In (1)

• The power of primitive positive definitions with polynomially many variables

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)