|
Title
|
|
|
|
Universally defining Z in Q with 10 quantifiers
|
|
|
Author
|
|
|
|
|
|
|
Abstract
|
|
|
|
| We show that for a global field K, every ring of S-integers has a universal first-order definition in K with 10 quantifiers. We also give a proof that every finite intersection of valuation rings of K has an existential first-order definition in K with 3 quantifiers. |
|
|
|
Language
|
|
|
|
English
|
|
|
Source (journal)
|
|
|
|
Journal of the London Mathematical Society. - London
|
|
|
Publication
|
|
|
|
London
:
2024
|
|
|
ISSN
|
|
|
|
0024-6107
[print]
1469-7750
[online]
|
|
|
DOI
|
|
|
|
10.1112/JLMS.12864
|
|
|
Volume/pages
|
|
|
|
109
:2
(2024)
, p. 1-18
|
|
|
Article Reference
|
|
|
|
e12864
|
|
|
ISI
|
|
|
|
001161640200007
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (open access)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|