Page 1 Next

Displaying 1 – 20 of 40

Showing per page

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

Thanases Pheidas, Xavier Vidaux (2005)

Fundamenta Mathematicae

We generalize a question of Büchi: Let R be an integral domain, C a subring and k ≥ 2 an integer. Is there an algorithm to decide the solvability in R of any given system of polynomial equations, each of which is linear in the kth powers of the unknowns, with coefficients in C? We state a number-theoretical problem, depending on k, a positive answer to which would imply a negative answer to the question for R = C = ℤ. We reduce a negative answer for k = 2 and for...

Properties of extensions of algebraically maximal fields.

G. Leloup (2003)

Collectanea Mathematica

We prove some properties similar to the theorem Ax-Kochen-Ershov, in some cases of pairs of algebraically maximal fields of residue characteristic p > 0. This properties hold in particular for pairs of Kaplansky fields of equal characteristic, formally p-adic fields and finitely ramified fields. From that we derive results about decidability of such extensions.

Currently displaying 1 – 20 of 40

Page 1 Next