scientific article
From MaRDI portal
Publication:3741619
zbMath0604.03012MaRDI QIDQ3741619
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Direct sums, direct products, etc. for abelian groups (20K25) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
On cyclically ordered groups, Abelian \(C\)-minimal groups, Valued modules on skew polynomial rings and Bézout domains
