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)
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
11D99: Diophantine equations
Cites Work