Search results for "Carlo Toffalori"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Carlo Toffalori, Kathryn Vozoris	On complex exponentiation restricted to the integers.	J. Symb. Log.	2010	DBLP BibTeX RDF
1	Carlo Toffalori, Kathryn Vozoris	Notes on local o-minimality.	Math. Log. Q.	2009	DBLP DOI BibTeX RDF
1	Gennadi Puninski, Carlo Toffalori	Towards the decidability of the theory of modules over finite commutative rings.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Flavio Corradini, Carlo Toffalori	Preface to Special Issue devoted to the memory of Sauro Tulipani.	Mathematical Structures in Computer Science	2008	DBLP DOI BibTeX RDF
1	Flavio Corradini, Carlo Toffalori	Preface.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Gennadi Puninski, Vera Puninskaya, Carlo Toffalori	Decidability of the theory of modules over commutative valuation domains.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Saverio Cittadini, Carlo Toffalori	On pairs of free modules over a Dedekind domain.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF
1	Stefano Leonesi, Carlo Toffalori	Filling certain cuts in discrete weakly o-minimal structures.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
1	Stefano Leonesi, Sonia L'Innocente, Carlo Toffalori	Weakly minimal modules over integral group rings and over related classes of rings.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
1	Stefano Leonesi, Carlo Toffalori	On the Boolean algebras of definable sets in weakly o-minimal theories.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
1	Stefano Leonesi, Carlo Toffalori	omega-categorical weakly o-minimal expansions of Boolean lattices.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
1	Saverio Cittadini, Carlo Toffalori	Comparing First Order Theories of Modules over Group Rings.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
1	Annalisa Marcja, Carlo Toffalori	Decidability for Z2 G-lattices when G Extends the Noncyclic Group of Order 4.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
1	Saverio Cittadini, Carlo Toffalori	Comparing First Order Theories of Modules over Group Rings II: Decidability.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
1	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.	2002	DBLP BibTeX RDF
1	Stefano Leonesi, Carlo Toffalori	Weakly o-Minimal Expansions of Boolean Algebras.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
1	Annalisa Marcja, Carlo Toffalori	On the Elementarity of Some Classes of Abelian-by-Infinite Groups.	Studia Logica	1999	DBLP DOI BibTeX RDF
1	Carlo Toffalori	Lattice Ordered O-Minimal Structures.	Notre Dame Journal of Formal Logic	1998	DBLP BibTeX RDF
1	Carlo Toffalori	The decision problem for [(Z)\vec]C(p3){\vec Z}C(p^3)-lattices with pp prime.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991):03C60, 03B25
1	Stefano Baratella, Carlo Toffalori	The theory of [(Z)\vec]C(2)2{\vec Z}C(2)^2-lattices is decidable.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03B25, 03C52
1	Carlo Toffalori	Wildness Implies Undecidability for Lattices over Group Rings.	J. Symb. Log.	1997	DBLP BibTeX RDF
1	Carlo Toffalori	An Undecidability Theorem for Lattices Over Group Rings.	Ann. Pure Appl. Logic	1997	DBLP DOI BibTeX RDF
1	Carlo Toffalori	Some Decidability Results for Z[G]-Modules when G is Cyclic of Squarefree Order.	Math. Log. Q.	1996	DBLP BibTeX RDF
1	Carlo Toffalori	Decidability for Z[G]-Modules when G is Cyclic of Prime Order.	Math. Log. Q.	1996	DBLP BibTeX RDF
1	Carlo Toffalori, Annalisa Marcja	Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View.	Math. Log. Q.	1994	DBLP BibTeX RDF
1	Annalisa Marcja, Mike Prest, Carlo Toffalori	On the Undecidability of Some Classes of Abelian-by-Finite Groups.	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	Carlo Toffalori	Classifying Pairs of Equivalence Relations.	Notre Dame Journal of Formal Logic	1991	DBLP BibTeX RDF
1	Carlo Toffalori	Stability for Pairs of Equivalence Relations.	Notre Dame Journal of Formal Logic	1991	DBLP BibTeX RDF
1	Charles Steinhorn, Carlo Toffalori	The Boolean Spectrum of an o-Minimal Theory.	Notre Dame Journal of Formal Logic	1989	DBLP BibTeX RDF
1	Annalisa Marcja, Carlo Toffalori	On Cantor-Bendixson Spectra Containing (1, 1) II.	J. Symb. Log.	1985	DBLP BibTeX RDF

Publications of "Carlo Toffalori" ( http://dblp.L3S.de/Authors/Carlo_Toffalori )