Uniform first-order definitions in finitely generated fields (Q2370123): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:53, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Uniform first-order definitions in finitely generated fields |
scientific article |
Statements
Uniform first-order definitions in finitely generated fields (English)
0 references
22 June 2007
0 references
The general question underlying the paper is the following: can a given property be expressed by the truth of a first-order sentence? The author focusses on finitely generated fields (i.e. fields that are finitely generated over the prime subfield) considered as first-order structures in the usual language of rings. The two main results can be stated as follow. First, there is a first-order sentence that is true for all finitely generated fields of characteristic \(0\) but false for all fields of positive characteristic. Second, given any positive integer \(n\), there is a formula with \(n\) free variables that, when interpreted in a finitely generated field \(K\), is true for elements \(x_1, \ldots , x_n \in K\) if and only if these elements are algebraically independent over the prime subfield of \(K\). The author also shows that the formulas expected in the two results above cannot be purely existential.
0 references
first-order sentence
0 references
language of rings
0 references