2018
DOI: 10.48550/arxiv.1812.04372
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Universally defining finitely generated subrings of global fields

Abstract: It is a problem of general interest when a domain R is first-orderdefinable within its field of fractions K via a universal first-order formula. We show that this is the case when K is a global field and R is finitely generated. Hereby we recover Koenigsmann's result that the ring of integers has a universal first-order definition in the field of rational numbers, as well as the generalisations of Koenigsmann's result by Park for number fields and by Eisenträger and Morrison for global function fields of odd c… Show more

Help me understand this report
View published versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2021
2021
2021
2021

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 5 publications
(6 reference statements)
0
1
0
Order By: Relevance
“…The analogue of Koenigsmann's result for F p (t) was proven in [EM18,Daa18]. For further recent results on diophantine sets in fields see for example [Kol08,AF17,Dit18].…”
Section: Introductionmentioning
confidence: 80%
“…The analogue of Koenigsmann's result for F p (t) was proven in [EM18,Daa18]. For further recent results on diophantine sets in fields see for example [Kol08,AF17,Dit18].…”
Section: Introductionmentioning
confidence: 80%