Undecidability of Parametric Solutions of Polynomial Equations

DOI10.2307/2160307MaRDI QIDQ5288033zbMATH OpenOpenAlexFDO

Authors Ki Hang Kim, Fred Roush

Publication date 23 January 1994

Full work available at URL https://doi.org/10.2307/2160307

zbMATH Keywords

algebraic affine varietydiophantine theoryfield of characteristic zeropolynomial ringundecidability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1783511
• Diophantine undecidability over algebraic function fields over finite fields of constants
• Diophantine undecidability of holomorphy rings of function fields of characteristic 0
• Undecidable existential theories of polynomial rings and function fields

Cites work

• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• scientific article; zbMATH DE number 3916236 (Why is no real title available?)
• scientific article; zbMATH DE number 3706580 (Why is no real title available?)
• scientific article; zbMATH DE number 3715696 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions

Cited in

(7)

• Results on undecidability of isomorphism of forms over polynomial rings
• The work of Kim and Roush on questions of decidability in algebra and number theory
• The publications of Ki Hang Kim
• Undecidable existential theories of polynomial rings and function fields
• scientific article; zbMATH DE number 1567883 (Why is no real title available?)
• Deciding polynomial-transcendental problems
• On Hilbert's ``geometric tenth problem for odd characteristic function fields

This page was built for publication: Undecidability of Parametric Solutions of Polynomial Equations

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