Universally defining finitely generated subrings of global fields (Q2062179)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Universally defining finitely generated subrings of global fields |
scientific article |
Statements
Universally defining finitely generated subrings of global fields (English)
0 references
27 December 2021
0 references
It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. The proof is uniform in all global fields, including characteristic two.
0 references
Diophantine set
0 references
definability
0 references
diophantine definability
0 references
quaternion algebra
0 references
Hilbert 10th problem
0 references
global fields
0 references
0 references
0 references
