Defining integrality at prime sets of high density in number fields.
type: Item
instance of: scholarly article
title: Defining integrality at prime sets of high density in number fields.
zbMATH Open document ID: 1054.11064
DOI: 10.1215/S0012-7094-00-10115-9
author: Alexandra Shlapentokh
published in: Duke Mathematical Journal
publication date: 2000-03-27T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.dmj/1092749084
review text: Let \(M\) be a totally real number field containing a subfield \(F\) of degree \(m\) over the rationals. The author proves that there is a set of primes \(W\) of Dirichlet density close to \((m-1)/m\) such that the ring of integers of \(M\) has a Diophantine definition over the ring of \(W\)-integers of \(M\) (elements of \(M\) with denominators divisible only by primes of \(W\)). She also gives a relevant estimate for the density of the primes of \(F\) below some (guaranteed to exist) \(W'\) that satisfies the same hypothesis. This improves earlier results of this type. These types of problems constitute analogues of Hilbert's Tenth Problem. The outstanding question is whether the Diophantine (equivalently, positive existential) theory of a number field is undecidable.
reviewed by: Thanases Pheidas
Mathematics Subject Classification ID: 11U05
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 11R80
zbMATH DE Number: 1425267
MaRDI profile type: Publication
cites work: Q4888847
cites work: Hilbert's Tenth Problem is Unsolvable
cites work: Q4115143
cites work: Hilbert's Tenth Problem for Quadratic Rings
cites work: Diophantine Sets Over Algebraic Integer Rings. II
cites work: Diophantine Sets over Some Rings of Algebraic Integers
cites work: Q4063245
cites work: Q5612629
cites work: Q4022705
cites work: Questions of decidability and undecidability in Number Theory
cites work: Q3293461
cites work: Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
cites work: Q3661646
cites work: Diophantine relationships between algebraic number fields
cites work: Extension of Hilbert's tenth problem to some algebraic number fields
cites work: Diophantine classes of holomorphy rings of global fields
cites work: Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
description: scientific article; zbMATH DE number 1425267