On \(\emptyset\)-definable elements in a field (Q2642842): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Serban A. Basarab / rank | |||
Property / reviewed by | |||
Property / reviewed by: Serban A. Basarab / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0502565 / rank | |||
Normal rank |
Latest revision as of 08:34, 19 April 2024
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