Universally and existentially definable subsets of global fields

DOI10.4310/MRL.2018.v25.n4.a6zbMath1455.11167arXiv1609.09787WikidataQ128937529 ScholiaQ128937529MaRDI QIDQ1720115

Kirsten Eisenträger, Travis Morrison

Publication date: 12 February 2019

Published in: Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.09787

zbMATH Keywords

global fields\(S\)-integersfirst-order universally definable

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09) Basic properties of first-order languages and structures (03C07)

Related Items (4)

Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers ⋮ Irreducibility of polynomials over global fields is diophantine ⋮ Universally defining finitely generated subrings of global fields ⋮ Diophantine definability of nonnorms of cyclic extensions of global fields

This page was built for publication: Universally and existentially definable subsets of global fields