zbMath0291.06009MaRDI QIDQ1211064
Yuri Gurevich
Publication date: 1974 Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Mathematics Subject Classification ID
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)