Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of \(\mathbb{Q}\)

DOI10.1007/S001530000063zbMath1003.03040MaRDI QIDQ5944053

Publication date: 2 April 2002

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

computable rings Diophantine definability Hilbert's 10th problem infinite algebraic extensions of the rationals non-degenerate modules

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Multiplicative and norm form equations (11D57)

This page was built for publication: Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of \(\mathbb{Q}\)