The work of Kim and Roush on questions of decidability in algebra and number theory

DOI10.1007/s10440-013-9807-6zbMath1318.11163MaRDI QIDQ368679

Kirsten Eisenträger

Publication date: 23 September 2013

Published in: Acta Applicandae Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10440-013-9807-6

zbMATH Keywords

function fields; undecidability; elliptic curves; polynomial rings; Pell equations; rationals; Hilbert's Tenth Problem; parametric solutions for polynomial equations

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

01A70: Biographies, obituaries, personalia, bibliographies

03D35: Undecidability and degrees of sets of sentences

03B25: Decidability of theories and sets of sentences

03D25: Recursively (computably) enumerable sets and degrees