Carlo Toffalori

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 6

Top Topics

Workshop On Data Mining

Algebraic Geometry

Theoretical Basis

Query Answering

Top Venues

Ann. Pure Appl. Log.

Publications

Lorna Gregory, Sonia L'Innocente, Carlo Toffalori
The torsion-free part of the Ziegler spectrum of orders over Dedekind domains. Math. Log. Q. 66 (1) (2020)
Lorna Gregory, Sonia L'Innocente, Carlo Toffalori
Decidability of the theory of modules over Prüfer domains with dense value groups. Ann. Pure Appl. Log. 170 (12) (2019)
Sonia L'Innocente, Françoise Point, Gennadi Puninski, Carlo Toffalori
The Ziegler spectrum of the Ring of entire Complex Valued Functions. J. Symb. Log. 84 (1) (2019)
Lorna Gregory, Sonia L'Innocente, Gennadi Puninski, Carlo Toffalori
Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields. J. Symb. Log. 83 (4) (2018)
Sonia L'Innocente, Carlo Toffalori, Gennadi Puninski
On the decidability of the theory of modules over the ring of algebraic integers. Ann. Pure Appl. Log. 168 (8) (2017)
Antonio Di Nola, Daniele Mundici, Carlo Toffalori, Aldo Ursini
Preface. Soft Comput. 21 (1) (2017)
Gennadi Puninski, Carlo Toffalori
its Field of fractions. J. Symb. Log. 79 (1) (2014)
Carlo Toffalori, Kathryn Vozoris
On complex exponentiation restricted to the integers. J. Symb. Log. 75 (3) (2010)
Carlo Toffalori, Kathryn Vozoris
Notes on local o-minimality. Math. Log. Q. 55 (6) (2009)
Gennadi Puninski, Carlo Toffalori
Towards the decidability of the theory of modules over finite commutative rings. Ann. Pure Appl. Log. 159 (1-2) (2009)
Flavio Corradini, Carlo Toffalori
Preface to Special Issue devoted to the memory of Sauro Tulipani. Math. Struct. Comput. Sci. 18 (1) (2008)
Flavio Corradini, Carlo Toffalori
Preface. Electron. Notes Theor. Comput. Sci. 169 (2007)
Gennadi Puninski, Vera Puninskaya, Carlo Toffalori
Decidability of the theory of modules over commutative valuation domains. Ann. Pure Appl. Log. 145 (3) (2007)
Saverio Cittadini, Carlo Toffalori
On pairs of free modules over a Dedekind domain. Arch. Math. Log. 45 (1) (2006)
Stefano Leonesi, Carlo Toffalori
Filling certain cuts in discrete weakly o-minimal structures. Math. Log. Q. 51 (2) (2005)
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) (2005)
Stefano Leonesi, Carlo Toffalori
On the Boolean algebras of definable sets in weakly o-minimal theories. Math. Log. Q. 50 (3) (2004)
Stefano Leonesi, Carlo Toffalori
omega-categorical weakly o-minimal expansions of Boolean lattices. Math. Log. Q. 49 (4) (2003)
Saverio Cittadini, Carlo Toffalori
Comparing First Order Theories of Modules over Group Rings. Math. Log. Q. 48 (1) (2002)
Saverio Cittadini, Carlo Toffalori
Comparing First Order Theories of Modules over Group Rings II: Decidability. Math. Log. Q. 48 (4) (2002)
Annalisa Marcja, Carlo Toffalori
Extends the Noncyclic Group of Order 4. Math. Log. Q. 48 (2) (2002)
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) (2002)
Stefano Leonesi, Carlo Toffalori
Weakly o-Minimal Expansions of Boolean Algebras. Math. Log. Q. 47 (2) (2001)
Annalisa Marcja, Carlo Toffalori
On the Elementarity of Some Classes of Abelian-by-Infinite Groups. Stud Logica 62 (2) (1999)
Carlo Toffalori
p prime. Arch. Math. Log. 37 (2) (1998)
Stefano Baratella, Carlo Toffalori
{\vec Z}C(2)^2-lattices is decidable. Arch. Math. Log. 37 (2) (1998)
Carlo Toffalori
Lattice Ordered O-Minimal Structures. Notre Dame J. Formal Log. 39 (4) (1998)
Carlo Toffalori
Wildness Implies Undecidability for Lattices over Group Rings. J. Symb. Log. 62 (4) (1997)
Carlo Toffalori
An Undecidability Theorem for Lattices Over Group Rings. Ann. Pure Appl. Log. 88 (2-3) (1997)
Carlo Toffalori
is Cyclic of Prime Order. Math. Log. Q. 42 (1996)
Carlo Toffalori
is Cyclic of Squarefree Order. Math. Log. Q. 42 (1996)
Carlo Toffalori, Annalisa Marcja
Finite, from the Model Theoretic Point of View. Math. Log. Q. 40 (1994)
Annalisa Marcja, Mike Prest, Carlo Toffalori
On the Undecidability of Some Classes of Abelian-by-Finite Groups. Ann. Pure Appl. Log. 62 (2) (1993)
Carlo Toffalori
Classifying Pairs of Equivalence Relations. Notre Dame J. Formal Log. 32 (4) (1991)
Carlo Toffalori
Simple Pairs of Equivalence Relations. Math. Log. Q. 37 (26-30) (1991)
Annalisa Marcja, Mike Prest, Carlo Toffalori
Classification theory for abelian groups with an endomorphism. Arch. Math. Log. 31 (2) (1991)
Carlo Toffalori
Stability for Pairs of Equivalence Relations. Notre Dame J. Formal Log. 32 (1) (1991)
Charles Steinhorn, Carlo Toffalori
The Boolean Spectrum of an o-Minimal Theory. Notre Dame J. Formal Log. 30 (2) (1989)
Carlo Toffalori
-Categorical Lattice-Ordered Structures. Math. Log. Q. 35 (1) (1989)
Carlo Toffalori
Cantor-Bendixson spectra of ω-stable theories. Notre Dame J. Formal Log. 28 (2) (1987)
Carlo Toffalori
-Categorical Theories. Math. Log. Q. 32 (19-24) (1986)
Annalisa Marcja, Carlo Toffalori
On Cantor-Bendixson Spectra Containing (1, 1) II. J. Symb. Log. 50 (3) (1985)
Annalisa Marcja, Carlo Toffalori
-Categorical Theories. Math. Log. Q. 30 (35) (1984)