Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2321

Preprint Number 2321

Previous Next Preprint server

2321. Nicolas Daans
Universally defining ℤ in ℚ with 10 quantifiers

Submission date: 5 January 2023


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.

Mathematics Subject Classification: 11U99 (Primary) 11U05, 11R52 (Secondary)

Keywords and phrases:

Full text arXiv 2301.02107: pdf, ps.

Last updated: February 4 2023 21:38 Please send your corrections to: