A universal first-order formula defining the ring of integers in a number field
From MaRDI portal
Publication:2510101
DOI10.4310/MRL.2013.v20.n5.a12zbMath1298.11113arXiv1202.6371OpenAlexW2963890724MaRDI QIDQ2510101
Publication date: 31 July 2014
Published in: Mathematical Research Letters (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1202.6371
Hilbert symbolquaternion algebraclass field theoryHilbert's tenth problemArtin reciprocitydiophantine set
Decidability (number-theoretic aspects) (11U05) Class field theory (11R37) Quaternion and other division algebras: arithmetic, zeta functions (11R52)
Related Items (9)
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF ⋮ Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers ⋮ Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Irreducibility of polynomials over global fields is diophantine ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Defining \(\mathbb Z\) in \(\mathbb Q\) ⋮ Universally defining finitely generated subrings of global fields ⋮ Diophantine definability of nonnorms of cyclic extensions of global fields
This page was built for publication: A universal first-order formula defining the ring of integers in a number field
