Extensions of Büchi's problem: Questions of decidability for addition and kth powers

DOI10.4064/fm185-2-4zbMath1079.03005OpenAlexW2062496383MaRDI QIDQ4677444

Xavier Vidaux, Thanases Pheidas

Publication date: 20 May 2005

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm185-2-4

zbMATH Keywords

systems of polynomial equationsdecidability

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items

A survey on Büchi's problem: new presentations and open problems ⋮ Generalized Büchi's problem for algebraic functions and meromorphic functions ⋮ Sequences of powers with second differences equal to two and hyperbolicity ⋮ An extension of Büchi’s problem for polynomial rings in zero characteristic ⋮ Positive existential definability of multiplication from addition and the range of a polynomial ⋮ Hensley's problem for complex and non-Archimedean meromorphic functions ⋮ The analogue of Büchi's problem for function fields ⋮ Powerful values of polynomials and a conjecture of Vojta

This page was built for publication: Extensions of Büchi's problem: Questions of decidability for addition and kth powers