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

Archive for Mathematical Logic 37 (2):91-104 (1998)
  Copy   BIBTEX


For arbitrary finite group $G$ and countable Dedekind domain $R$ such that the residue field $R/P$ is finite for every maximal $R$ -ideal $P$ , we show that the localizations at every maximal ideal of two $RG$ -lattices are isomorphic if and only if the two lattices satisfy the same first order sentences. Then we investigate generalizations of the above results to arbitrary $R$ -torsion-free $RG$ -modules and we apply the previous results to show the decidability of the theory of ${\vec Z}C(2)^2$ -lattices. Eventually, we show that ${\vec Z} [i] C(2)^2$ -lattices have undecidable theory



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

7 (#1,413,139)

6 months
31 (#107,547)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references