MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1102
Preprint Number 1102
1102. Kirsten Eisentraeger and Travis Morrison Universally and existentially definable subsets of global fields E-mail: Submission date: 30 September 2016 Abstract: We show that rings of S-integers of a global function field K of odd
characteristic are first-order universally definable in K. This extends work
of Koenigsmann and Park who showed the same for Z in Q
and the ring of integers in a number field, respectively. Mathematics Subject Classification: 11U05, 11R37 Keywords and phrases: |

Last updated: October 7 2016 19:23 | Please send your corrections to: |