| 2008 |
|---|
| 27 | EE | Flavio Corradini,
Carlo Toffalori:
Preface to Special Issue devoted to the memory of Sauro Tulipani.
Mathematical Structures in Computer Science 18(1): 1-4 (2008) |
| 2007 |
|---|
| 26 | EE | Gennadi Puninski,
Vera Puninskaya,
Carlo Toffalori:
Decidability of the theory of modules over commutative valuation domains.
Ann. Pure Appl. Logic 145(3): 258-275 (2007) |
| 25 | EE | Flavio Corradini,
Carlo Toffalori:
Preface.
Electr. Notes Theor. Comput. Sci. 169: 1-2 (2007) |
| 2006 |
|---|
| 24 | EE | Saverio Cittadini,
Carlo Toffalori:
On pairs of free modules over a Dedekind domain.
Arch. Math. Log. 45(1): 75-95 (2006) |
| 2005 |
|---|
| 23 | EE | Stefano Leonesi,
Carlo Toffalori:
Filling certain cuts in discrete weakly o-minimal structures.
Math. Log. Q. 51(2): 145-153 (2005) |
| 22 | EE | Stefano Leonesi,
Sonia L'Innocente,
Carlo Toffalori:
Weakly minimal modules over integral group rings and over related classes of rings.
Math. Log. Q. 51(6): 613-625 (2005) |
| 2004 |
|---|
| 21 | EE | Stefano Leonesi,
Carlo Toffalori:
On the Boolean algebras of definable sets in weakly o-minimal theories.
Math. Log. Q. 50(3): 241-248 (2004) |
| 2003 |
|---|
| 20 | EE | Stefano Leonesi,
Carlo Toffalori:
omega-categorical weakly o-minimal expansions of Boolean lattices.
Math. Log. Q. 49(4): 394-400 (2003) |
| 2002 |
|---|
| 19 | | Annalisa Marcja,
Mike Prest,
Carlo Toffalori:
The Torsionfree Part of The Ziegler Spectrum of RG When R Is A Dedekind Domain and G Is A Finite Group.
J. Symb. Log. 67(3): 1126-1140 (2002) |
| 18 | EE | Saverio Cittadini,
Carlo Toffalori:
Comparing First Order Theories of Modules over Group Rings.
Math. Log. Q. 48(1): 147-156 (2002) |
| 17 | EE | Annalisa Marcja,
Carlo Toffalori:
Decidability for Z2 G-lattices when G Extends the Noncyclic Group of Order 4.
Math. Log. Q. 48(2): 203-212 (2002) |
| 16 | EE | Saverio Cittadini,
Carlo Toffalori:
Comparing First Order Theories of Modules over Group Rings II: Decidability.
Math. Log. Q. 48(4): 483-498 (2002) |
| 2001 |
|---|
| 15 | EE | Stefano Leonesi,
Carlo Toffalori:
Weakly o-Minimal Expansions of Boolean Algebras.
Math. Log. Q. 47(2): 223-238 (2001) |
| 1999 |
|---|
| 14 | | Annalisa Marcja,
Carlo Toffalori:
On the Elementarity of Some Classes of Abelian-by-Infinite Groups.
Studia Logica 62(2): 201-213 (1999) |
| 1998 |
|---|
| 13 | EE | Carlo Toffalori:
The decision problem for [(Z)\vec]C(p3){\vec Z}C(p^3)-lattices with pp prime.
Arch. Math. Log. 37(2): 127-142 (1998) |
| 12 | EE | Stefano Baratella,
Carlo Toffalori:
The theory of [(Z)\vec]C(2)2{\vec Z}C(2)^2-lattices is decidable.
Arch. Math. Log. 37(2): 91-104 (1998) |
| 11 | | Carlo Toffalori:
Lattice Ordered O-Minimal Structures.
Notre Dame Journal of Formal Logic 39(4): 447-463 (1998) |
| 1997 |
|---|
| 10 | | Carlo Toffalori:
An Undecidability Theorem for Lattices Over Group Rings.
Ann. Pure Appl. Logic 88(2-3): 241-262 (1997) |
| 9 | | Carlo Toffalori:
Wildness Implies Undecidability for Lattices over Group Rings.
J. Symb. Log. 62(4): 1429-1447 (1997) |
| 1996 |
|---|
| 8 | | Carlo Toffalori:
Decidability for Z[G]-Modules when G is Cyclic of Prime Order.
Math. Log. Q. 42: 369-378 (1996) |
| 7 | | Carlo Toffalori:
Some Decidability Results for Z[G]-Modules when G is Cyclic of Squarefree Order.
Math. Log. Q. 42: 433-445 (1996) |
| 1994 |
|---|
| 6 | | Carlo Toffalori,
Annalisa Marcja:
Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View.
Math. Log. Q. 40: 125-131 (1994) |
| 1993 |
|---|
| 5 | | Annalisa Marcja,
Mike Prest,
Carlo Toffalori:
On the Undecidability of Some Classes of Abelian-by-Finite Groups.
Ann. Pure Appl. Logic 62(2): 167-173 (1993) |
| 1991 |
|---|
| 4 | | Carlo Toffalori:
Stability for Pairs of Equivalence Relations.
Notre Dame Journal of Formal Logic 32(1): 112-128 (1991) |
| 3 | | Carlo Toffalori:
Classifying Pairs of Equivalence Relations.
Notre Dame Journal of Formal Logic 32(4): 637-650 (1991) |
| 1989 |
|---|
| 2 | | Charles Steinhorn,
Carlo Toffalori:
The Boolean Spectrum of an o-Minimal Theory.
Notre Dame Journal of Formal Logic 30(2): 197-206 (1989) |
| 1985 |
|---|
| 1 | | Annalisa Marcja,
Carlo Toffalori:
On Cantor-Bendixson Spectra Containing (1, 1) II.
J. Symb. Log. 50(3): 611-618 (1985) |
