Carlo Toffalori

44 papers Journal 42Unranked 1

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	The torsion-free part of the Ziegler spectrum of orders over Dedekind domains. Math. Log. Q. Lorna Gregory, Sonia L'Innocente, Carlo Toffalori
2019	J	`jnl`	Decidability of the theory of modules over Prüfer domains with dense value groups. Ann. Pure Appl. Log. Lorna Gregory, Sonia L'Innocente, Carlo Toffalori
2019	J	`jnl`	The Ziegler spectrum of the Ring of entire Complex Valued Functions. J. Symb. Log. Sonia L'Innocente, Françoise Point, Gennadi Puninski, Carlo Toffalori
2018	J	`jnl`	Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields. J. Symb. Log. Lorna Gregory, Sonia L'Innocente, Gennadi Puninski, Carlo Toffalori
2017	J	`jnl`	On the decidability of the theory of modules over the ring of algebraic integers. Ann. Pure Appl. Log. Sonia L'Innocente, Carlo Toffalori, Gennadi Puninski
2017	J	`jnl`	Preface. Soft Comput. Antonio Di Nola, Daniele Mundici, Carlo Toffalori, Aldo Ursini
2014	J	`jnl`	Decidability of Modules over a BéZout Domain J. Symb. Log. Gennadi Puninski, Carlo Toffalori
2010	J	`jnl`	On complex exponentiation restricted to the integers. J. Symb. Log. Carlo Toffalori, Kathryn Vozoris
2009	J	`jnl`	Notes on local o-minimality. Math. Log. Q. Carlo Toffalori, Kathryn Vozoris
2009	J	`jnl`	Towards the decidability of the theory of modules over finite commutative rings. Ann. Pure Appl. Log. Gennadi Puninski, Carlo Toffalori
2008	J	`jnl`	Preface to Special Issue devoted to the memory of Sauro Tulipani. Math. Struct. Comput. Sci. Flavio Corradini, Carlo Toffalori
2007	J	`jnl`	Decidability of the theory of modules over commutative valuation domains. Ann. Pure Appl. Log. Gennadi Puninski, Vera Puninskaya, Carlo Toffalori
2007	—	`ed.`	Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006 LMCS Flavio Corradini, Carlo Toffalori
2006	J	`jnl`	On pairs of free modules over a Dedekind domain. Arch. Math. Log. Saverio Cittadini, Carlo Toffalori
2006	—	`conf`	Preface. LMCS Flavio Corradini, Carlo Toffalori
2005	J	`jnl`	Filling certain cuts in discrete weakly o-minimal structures. Math. Log. Q. Stefano Leonesi, Carlo Toffalori
2005	J	`jnl`	Weakly minimal modules over integral group rings and over related classes of rings. Math. Log. Q. Stefano Leonesi, Sonia L'Innocente, Carlo Toffalori
2004	J	`jnl`	On the Boolean algebras of definable sets in weakly o-minimal theories. Math. Log. Q. Stefano Leonesi, Carlo Toffalori
2003	J	`jnl`	omega-categorical weakly o-minimal expansions of Boolean lattices. Math. Log. Q. Stefano Leonesi, Carlo Toffalori
2002	J	`jnl`	Comparing First Order Theories of Modules over Group Rings II: Decidability. Math. Log. Q. Saverio Cittadini, Carlo Toffalori
2002	J	`jnl`	Comparing First Order Theories of Modules over Group Rings. Math. Log. Q. Saverio Cittadini, Carlo Toffalori
2002	J	`jnl`	Decidability for Z Math. Log. Q. Annalisa Marcja, Carlo Toffalori
2002	J	`jnl`	The Torsionfree Part of The Ziegler Spectrum of RG When R Is A Dedekind Domain and G Is A Finite Group. J. Symb. Log. Annalisa Marcja, Mike Prest, Carlo Toffalori
2001	J	`jnl`	Weakly o-Minimal Expansions of Boolean Algebras. Math. Log. Q. Stefano Leonesi, Carlo Toffalori
1999	J	`jnl`	On the Elementarity of Some Classes of Abelian-by-Infinite Groups. Stud Logica Annalisa Marcja, Carlo Toffalori
1998	J	`jnl`	Lattice Ordered O-Minimal Structures. Notre Dame J. Formal Log. Carlo Toffalori
1998	J	`jnl`	The decision problem for [( Arch. Math. Log. Carlo Toffalori
1998	J	`jnl`	The theory of [( Arch. Math. Log. Stefano Baratella, Carlo Toffalori
1997	J	`jnl`	An Undecidability Theorem for Lattices Over Group Rings. Ann. Pure Appl. Log. Carlo Toffalori
1997	J	`jnl`	Wildness Implies Undecidability for Lattices over Group Rings. J. Symb. Log. Carlo Toffalori
1996	J	`jnl`	Decidability for ℤ[ Math. Log. Q. Carlo Toffalori
1996	J	`jnl`	Some Decidability Results for ℤ[ Math. Log. Q. Carlo Toffalori
1994	J	`jnl`	Abelian-by- Math. Log. Q. Carlo Toffalori, Annalisa Marcja
1993	J	`jnl`	On the Undecidability of Some Classes of Abelian-by-Finite Groups. Ann. Pure Appl. Log. Annalisa Marcja, Mike Prest, Carlo Toffalori
1991	J	`jnl`	Classification theory for abelian groups with an endomorphism. Arch. Math. Log. Annalisa Marcja, Mike Prest, Carlo Toffalori
1991	J	`jnl`	Classifying Pairs of Equivalence Relations. Notre Dame J. Formal Log. Carlo Toffalori
1991	J	`jnl`	Simple Pairs of Equivalence Relations. Math. Log. Q. Carlo Toffalori
1991	J	`jnl`	Stability for Pairs of Equivalence Relations. Notre Dame J. Formal Log. Carlo Toffalori
1989	J	`jnl`	The Boolean Spectrum of an o-Minimal Theory. Notre Dame J. Formal Log. Charles Steinhorn, Carlo Toffalori
1989	J	`jnl`	p-ℵ Math. Log. Q. Carlo Toffalori
1987	J	`jnl`	Cantor-Bendixson spectra of ω-stable theories. Notre Dame J. Formal Log. Carlo Toffalori
1986	J	`jnl`	Locally p-ℵ Math. Log. Q. Carlo Toffalori
1985	J	`jnl`	On Cantor-Bendixson Spectra Containing (1, 1) II. J. Symb. Log. Annalisa Marcja, Carlo Toffalori
1984	J	`jnl`	On Pseudo - Math. Log. Q. Annalisa Marcja, Carlo Toffalori