Diophantine sets of polynomials over algebraic extensions of the rationals

DOI10.1017/JSL.2013.9zbMATH Open1355.03034OpenAlexW2103760253MaRDI QIDQ2933672FDOQ2933672

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

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

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)

Cites Work

• Effective procedures in field theory
• Diophantine unsolvability over \(p\)-adic function fields
• Hilbert's Tenth Problem is Unsolvable
• A decision method for $p$-adic integral zeros of diophantine equations
• Hilbert's tenth problem for rational function fields over \(p\)-adic fields
• Diophantine sets of polynomials over number 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)