Additional results to a theorem of Eisenträger and Everest
From MaRDI portal
Publication:636794
DOI10.1007/S00013-011-0277-7zbMath1234.11073OpenAlexW2126575649MaRDI QIDQ636794
Publication date: 30 August 2011
Published in: Archiv der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00013-011-0277-7
Related Items (3)
First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory
Uses Software
Cites Work
This page was built for publication: Additional results to a theorem of Eisenträger and Everest