Diophantine sets of polynomials over number fields

DOI10.1090/S0002-9939-10-10329-3MaRDI QIDQ3581096zbMATH OpenOpenAlexFDO

Authors Jeroen Demeyer

Publication date 16 August 2010

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0807.1970

zbMATH Keywords

Diophantine setHilbert's tenth problemrecursively enumerable set

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Diophantine equations (11D99) Polynomials (irreducibility, etc.) (11R09) Model theory (number-theoretic aspects) (11U09) Special polynomials in general fields (12E10)

Abstract: Let R be a recursive subring of a number field. We show that recursively enumerable sets are diophantine for the polynomial ring R[Z].

Recommendations

• On Diophantine sets over polynomial rings
• Diophantine sets of polynomials over algebraic extensions of the rationals
• Irreducible polynomials over number fields
• scientific article; zbMATH DE number 3845662
• scientific article; zbMATH DE number 3178737
• Polynomial multiplicities over finite fields and intersection sets
• Diophantine subsets of function fields of curves
• Recursively enumerable sets of polynomials over a finite field are Diophantine
• A theorem on sets of polynomials over a finite field
• scientific article; zbMATH DE number 1866863

Cites work

• Diophantine definitions for some polynomial rings
• Diophantine Sets Over Z[ T ]
• Diophantine unsolvability over p-adic function fields
• Effective procedures in field theory
• Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields
• Existential definability of non-nullity in rings
• Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
• Hilbert's Tenth Problem is Unsolvable
• scientific article; zbMATH DE number 3715696 (Why is no real title available?)
• scientific article; zbMATH DE number 47996 (Why is no real title available?)
• scientific article; zbMATH DE number 1313469 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• On Diophantine sets over polynomial rings
• Recursively enumerable sets of polynomials over a finite field
• Recursively enumerable sets of polynomials over a finite field are Diophantine
• Undecidability in number theory
• Undecidability of existential theories of rings and fields: A survey
• Undecidable existential theories of polynomial rings and function fields

Cited in

(16)

• Diophantine subsets of function fields of curves
• Hilbert's tenth problem for rational function fields over \(p\)-adic fields
• Recursively enumerable sets of polynomials over a finite field are Diophantine
• On existential definitions of c.e. subsets of rings of functions of characteristic 0
• Defining constant polynomials
• The number of solutions of a Diophantine equation over a recursive ring
• Diophantine sets of polynomials over algebraic extensions of the rationals
• ON THE SIZE OF SETS IN A POLYNOMIAL VARIANT OF A PROBLEM OF DIOPHANTUS
• A diophantine definition of integers in the rings of rational numbers
• Diophantine equivalence and countable rings
• On Diophantine sets over polynomial rings
• The number of certain integral polynomials and nonrecursive sets of integers, Part 2
• NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
• Diophantine equations and the generalized Riemann hypothesis
• Universally defining subrings in function fields
• Recursively enumerable sets of polynomials over a finite field

This page was built for publication: Diophantine sets of polynomials over number fields

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