On Pseudo -N0-Categorical Theories. - Annalisa Marcja; Carlo Toffalori (Math. Log. Q., 1984)

On Cantor-Bendixson Spectra Containing (1, 1) II. - Annalisa Marcja; Carlo Toffalori (J. Symb. Log., 1985)

Locally p-ℵ0-Categorical Theories. - Carlo Toffalori (Math. Log. Q., 1986)

Cantor-Bendixson spectra of ω-stable theories. - Carlo Toffalori (Notre Dame J. Formal Log., 1987)

p-ℵ0-Categorical Lattice-Ordered Structures. - Carlo Toffalori (Math. Log. Q., 1989)

The Boolean Spectrum of an o-Minimal Theory. - Charles Steinhorn; Carlo Toffalori (Notre Dame J. Formal Log., 1989)

Classification theory for abelian groups with an endomorphism. - Annalisa Marcja; Mike Prest; Carlo Toffalori (Arch. Math. Log., 1991)

Simple Pairs of Equivalence Relations. - Carlo Toffalori (Math. Log. Q., 1991)

Stability for Pairs of Equivalence Relations. - Carlo Toffalori (Notre Dame J. Formal Log., 1991)

Classifying Pairs of Equivalence Relations. - Carlo Toffalori (Notre Dame J. Formal Log., 1991)

On the Undecidability of Some Classes of Abelian-by-Finite Groups. - Annalisa Marcja; Mike Prest; Carlo Toffalori (Ann. Pure Appl. Log., 1993)

Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View. - Carlo Toffalori; Annalisa Marcja (Math. Log. Q., 1994)

Decidability for ℤ[G]-Modules when G is Cyclic of Prime Order. - Carlo Toffalori (Math. Log. Q., 1996)

Some Decidability Results for ℤ[G]-Modules when G is Cyclic of Squarefree Order. - Carlo Toffalori (Math. Log. Q., 1996)

An Undecidability Theorem for Lattices Over Group Rings. - Carlo Toffalori (Ann. Pure Appl. Log., 1997)

Wildness Implies Undecidability for Lattices over Group Rings. - Carlo Toffalori (J. Symb. Log., 1997)

The theory of [(Z) vec]C(2)2{ vec Z}C(2)^2-lattices is decidable. - Stefano Baratella; Carlo Toffalori (Arch. Math. Log., 1998)

The decision problem for [(Z) vec]C(p3){ vec Z}C(p^3)-lattices with pp prime. - Carlo Toffalori (Arch. Math. Log., 1998)

Lattice Ordered O-Minimal Structures. - Carlo Toffalori (Notre Dame J. Formal Log., 1998)

On the Elementarity of Some Classes of Abelian-by-Infinite Groups. - Annalisa Marcja; Carlo Toffalori (Stud Logica, 1999)

Weakly o-Minimal Expansions of Boolean Algebras. - Stefano Leonesi; Carlo Toffalori (Math. Log. Q., 2001)

The Torsionfree Part of The Ziegler Spectrum of RG When R Is A Dedekind Domain and G Is A Finite Group. - Annalisa Marcja; Mike Prest; Carlo Toffalori (J. Symb. Log., 2002)

Comparing First Order Theories of Modules over Group Rings. - Saverio Cittadini; Carlo Toffalori (Math. Log. Q., 2002)

Comparing First Order Theories of Modules over Group Rings II: Decidability. - Saverio Cittadini; Carlo Toffalori (Math. Log. Q., 2002)

Decidability for Z2 G-lattices when G Extends the Noncyclic Group of Order 4. - Annalisa Marcja; Carlo Toffalori (Math. Log. Q., 2002)

omega-categorical weakly o-minimal expansions of Boolean lattices. - Stefano Leonesi; Carlo Toffalori (Math. Log. Q., 2003)

On the Boolean algebras of definable sets in weakly o-minimal theories. - Stefano Leonesi; Carlo Toffalori (Math. Log. Q., 2004)

Weakly minimal modules over integral group rings and over related classes of rings. - Stefano Leonesi; Sonia L'Innocente; Carlo Toffalori (Math. Log. Q., 2005)

Filling certain cuts in discrete weakly o-minimal structures. - Stefano Leonesi; Carlo Toffalori (Math. Log. Q., 2005)

On pairs of free modules over a Dedekind domain. - Saverio Cittadini; Carlo Toffalori (Arch. Math. Log., 2006)

Preface. - Flavio Corradini; Carlo Toffalori (LMCS, 2006)

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

Preface to Special Issue devoted to the memory of Sauro Tulipani. - Flavio Corradini; Carlo Toffalori (Math. Struct. Comput. Sci., 2008)

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

Notes on local o-minimality. - Carlo Toffalori; Kathryn Vozoris (Math. Log. Q., 2009)

On complex exponentiation restricted to the integers. - Carlo Toffalori; Kathryn Vozoris (J. Symb. Log., 2010)

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)

Preface. - Antonio Di Nola; Daniele Mundici; Carlo Toffalori; Aldo Ursini (Soft Comput., 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)

Decidability of the theory of modules over Prüfer domains with dense value groups. - Lorna Gregory; Sonia L'Innocente; Carlo Toffalori (Ann. Pure Appl. Log., 2019)

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)

The torsion-free part of the Ziegler spectrum of orders over Dedekind domains. - Lorna Gregory; Sonia L'Innocente; Carlo Toffalori (Math. Log. Q., 2020)