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
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