On \(\emptyset\)-definable elements in a field (Q2642842)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(\emptyset\)-definable elements in a field |
scientific article |
Statements
On \(\emptyset\)-definable elements in a field (English)
0 references
5 September 2007
0 references
An arithmetic characterization of elements in a field which are definable by an existential formula without parameters is given. These elements form a subfield \(\overline{K}\) of the given field \(K\). It is shown that \(\overline{K}\) is the prime subfield \(P\) of \(K\) whenever the algebraic closure of \(P\) is contained in \(K\). By contrast, it is shown that for many finitely generated fields \(K\) of characteristic \(0\), \(\overline{K}\) is transcendental over the field \(\mathbb{Q}\) of rationals. Finally it is shown that all transcendental real numbers which are recursively approximable by rationals are definable in the field \(\mathbb{R}(t)\), and the same holds with \(\mathbb{R}\) replaced by any Pythagorean subfield of \(\mathbb{R}\).
0 references
existentially definable element
0 references
transcendental element
0 references
finitely generated field extension
0 references
Mordell-Faltings theorem
0 references
recursively approximable real number
0 references