The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable
From MaRDI portal
Publication:1128174
DOI10.1007/s001530050085zbMath0899.03011MaRDI QIDQ1128174
Carlo Toffalori, Stefano Baratella
Publication date: 10 November 1998
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050085
decidability; localizations; \({\mathbf Z}C(2)^2\)-lattices; \(RG\)-lattices; \(RG\)-modules; elementary equivalence class
Related Items
Unnamed Item, The torsionfree part of the Ziegler spectrum of RG when R is a Dedekind domain and G is a finite group, An undecidability theorem for lattices over group rings