The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable

DOI10.1007/s001530050085zbMath0899.03011OpenAlexW2068962640MaRDI QIDQ1128174

Stefano Baratella, Carlo Toffalori

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

zbMATH Keywords

decidabilitylocalizations\({\mathbf Z}C(2)^2\)-lattices\(RG\)-lattices\(RG\)-moduleselementary equivalence class

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Properties of classes of models (03C52)

Related Items

Unnamed Item, An undecidability theorem for lattices over group rings, The torsionfree part of the Ziegler spectrum of RG when R is a Dedekind domain and G is a finite group