Diophantine sets of polynomials over algebraic extensions of the rationals

DOI10.1017/JSL.2013.9MaRDI QIDQ2933672zbMATH OpenOpenAlexFDO

Authors Claudia Degroote, Jeroen Demeyer

Publication date 5 December 2014

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://biblio.ugent.be/publication/4128161

zbMATH Keywords

recursively enumerable setsDiophantine setsHilbert's tenth problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25) Applications of computability and recursion theory (03D80) Decidability (number-theoretic aspects) (11U05)

Recommendations

• Diophantine sets of polynomials over number fields
• Recursively enumerable sets of polynomials over a finite field are Diophantine
• A diophantine definition of integers in the rings of rational numbers
• Diophantine subsets of function fields of curves
• Recursively enumerable sets of polynomials over a finite field

Cites work

• A decision method for $p$-adic integral zeros of diophantine equations
• Diophantine sets of polynomials over number fields
• Diophantine unsolvability over p-adic function fields
• Effective procedures in field theory
• Hilbert's Tenth Problem is Unsolvable
• Hilbert's tenth problem for rational function fields over \(p\)-adic fields
• Recursively enumerable sets of polynomials over a finite field are Diophantine

Cited in

(4)

• Recursively enumerable sets of polynomials over a finite field are Diophantine
• A Diophantine definition of rational integers over some rings of algebraic numbers
• NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
• Diophantine sets of polynomials over number fields

This page was built for publication: Diophantine sets of polynomials over algebraic extensions of the rationals

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