Cantor-Bendixson Rank of The Ziegler Spectrum Over A Commutative Valuation Domain. - Gennadi Puninski (J. Symb. Log., 1999)

Decidability of the theory of modules over commutative valuation domains. - Gennadi Puninski; Vera Puninskaya; Carlo Toffalori (Ann. Pure Appl. Log., 2007)

Towards the decidability of the theory of modules over finite commutative rings. - Gennadi Puninski; Carlo Toffalori (Ann. Pure Appl. Log., 2009)

Decidability of Modules over a BéZout Domain D+xq[X] with d a Principal Ideal Domain and Q its Field of fractions. - Gennadi Puninski; Carlo Toffalori (J. Symb. Log., 2014)

On the decidability of the theory of modules over the ring of algebraic integers. - Sonia L'Innocente; Carlo Toffalori; Gennadi Puninski (Ann. Pure Appl. Log., 2017)

Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields. - Lorna Gregory; Sonia L'Innocente; Gennadi Puninski; Carlo Toffalori (J. Symb. Log., 2018)

The Ziegler spectrum of the Ring of entire Complex Valued Functions. - Sonia L'Innocente; Françoise Point; Gennadi Puninski; Carlo Toffalori (J. Symb. Log., 2019)