Universally and existentially definable subsets of global fields

DOI10.4310/MRL.2018.V25.N4.A6MaRDI QIDQ1720115zbMATH OpenWikidataFDO

Authors 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

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

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 $mathbbZ$ in $mathbbQ$ and the ring of integers in a number field, respectively. We also give another proof of a theorem of Poonen and show that the set of non-squares in a global field of characteristic $eq2$ is diophantine. Finally, we show that the set of pairs $(x,y)$ in $(K^{imes}{)}^2$ such that $x$ is not a norm in $K(sqrty)$ is diophantine over $K$ for any global field $K$ of characteristic $eq2$.

Recommendations

• Diophantine definability of nonnorms of cyclic extensions of global fields
• Universally defining finitely generated subrings of global fields
• A universal first-order formula defining the ring of integers in a number field
• On existential definitions of c.e. subsets of rings of functions of characteristic 0
• Diophantine relations between rings of S-integers of fields of algebraic functions in one variable over constant fields of positive characteristic

Cited in

(11)

• Diophantine definability of nonnorms of cyclic extensions of global fields
• On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
• Implicit definability of subfields
• A survey of local-global methods for Hilbert's tenth problem
• An existential divisibility lemma for global fields
• 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
• Universal definability of Mal'tsev classes
• NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
• A class of fields with a restricted model completeness property

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1720115)