Universal theories of integers and the extended Bliznetsov hypothesis
From MaRDI portal
Publication:1057849
DOI10.1007/BF01979646zbMath0564.03013MaRDI QIDQ1057849
Eh. B. Belyakov, Vladimir Ivanovich Mart'yanov
Publication date: 1983
Published in: Algebra and Logic (Search for Journal in Brave)
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Diophantine equations (11D99)
Cites Work
This page was built for publication: Universal theories of integers and the extended Bliznetsov hypothesis