Carlo Toffalori

According to our database, Carlo Toffalori authored at least 43 papers between 1984 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

The torsion-free part of the Ziegler spectrum of orders over Dedekind domains.

Lorna Gregory, Sonia L'Innocente, Carlo Toffalori

Math. Log. Q., 2020

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

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

2018

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

2017

Preface.

Antonio Di Nola, Daniele Mundici, Carlo Toffalori, Aldo Ursini

Soft Comput., 2017

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

2014

Decidability of Modules over a BéZout Domain <i>D</i>+<i>xq</i>[<i>X</i>] with <i>d</i> a Principal Ideal Domain and <i>Q</i> its Field of fractions.

Gennadi Puninski, Carlo Toffalori

J. Symb. Log., 2014

2010

On complex exponentiation restricted to the integers.

Carlo Toffalori, Kathryn Vozoris

J. Symb. Log., 2010

2009

Notes on local o-minimality.

Carlo Toffalori, Kathryn Vozoris

Math. Log. Q., 2009

Towards the decidability of the theory of modules over finite commutative rings.

Gennadi Puninski, Carlo Toffalori

Ann. Pure Appl. Log., 2009

2008

Preface to Special Issue devoted to the memory of Sauro Tulipani.

Flavio Corradini, Carlo Toffalori

Math. Struct. Comput. Sci., 2008

2007

Decidability of the theory of modules over commutative valuation domains.

Gennadi Puninski, Vera Puninskaya, Carlo Toffalori

Ann. Pure Appl. Log., 2007

2006

Preface.

Flavio Corradini, Carlo Toffalori

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

On pairs of free modules over a Dedekind domain.

Saverio Cittadini, Carlo Toffalori

Arch. Math. Log., 2006

2005

Filling certain cuts in discrete weakly o-minimal structures.

Stefano Leonesi, Carlo Toffalori

Math. Log. Q., 2005

Weakly minimal modules over integral group rings and over related classes of rings.

Stefano Leonesi, Sonia L'Innocente, Carlo Toffalori

Math. Log. Q., 2005

2004

On the Boolean algebras of definable sets in weakly o-minimal theories.

Stefano Leonesi, Carlo Toffalori

Math. Log. Q., 2004

2003

omega-categorical weakly o-minimal expansions of Boolean lattices.

Stefano Leonesi, Carlo Toffalori

Math. Log. Q., 2003

2002

Decidability for Z₂ <i>G</i>-lattices when <i>G</i> Extends the Noncyclic Group of Order 4.

Annalisa Marcja, 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

Comparing First Order Theories of Modules over Group Rings.

Saverio Cittadini, Carlo Toffalori

Math. Log. Q., 2002

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

2001

Weakly o-Minimal Expansions of Boolean Algebras.

Stefano Leonesi, Carlo Toffalori

Math. Log. Q., 2001

1999

On the Elementarity of Some Classes of Abelian-by-Infinite Groups.

Annalisa Marcja, Carlo Toffalori

Stud Logica, 1999

1998

Lattice Ordered O-Minimal Structures.

Carlo Toffalori

Notre Dame J. Formal Log., 1998

The decision problem for [(<i>Z</i>)\vec]<i>C</i>(<i>p</i>³){\vec Z}C(p^3)-lattices with <i>p</i>p prime.

Carlo Toffalori

Arch. Math. Log., 1998

The theory of [(<i>Z</i>)\vec]<i>C</i>(2)²{\vec Z}C(2)^2-lattices is decidable.

Stefano Baratella, Carlo Toffalori

Arch. Math. Log., 1998

1997

Wildness Implies Undecidability for Lattices over Group Rings.

Carlo Toffalori

J. Symb. Log., 1997

An Undecidability Theorem for Lattices Over Group Rings.

Carlo Toffalori

Ann. Pure Appl. Log., 1997

1996

Some Decidability Results for ℤ[<i>G</i>]-Modules when <i>G</i> is Cyclic of Squarefree Order.

Carlo Toffalori

Math. Log. Q., 1996

Decidability for ℤ[<i>G</i>]-Modules when <i>G</i> is Cyclic of Prime Order.

Carlo Toffalori

Math. Log. Q., 1996

1994

Abelian-by-<i>G</i> Groups, for <i>G</i> Finite, from the Model Theoretic Point of View.

Carlo Toffalori, Annalisa Marcja

Math. Log. Q., 1994

1993

On the Undecidability of Some Classes of Abelian-by-Finite Groups.

Annalisa Marcja, Mike Prest, Carlo Toffalori

Ann. Pure Appl. Log., 1993

1991

Classifying Pairs of Equivalence Relations.

Carlo Toffalori

Notre Dame J. Formal Log., 1991

Stability for Pairs of Equivalence Relations.

Carlo Toffalori

Notre Dame J. Formal Log., 1991

Simple Pairs of Equivalence Relations.

Carlo Toffalori

Math. Log. Q., 1991

Classification theory for abelian groups with an endomorphism.

Annalisa Marcja, Mike Prest, Carlo Toffalori

Arch. Math. Log., 1991

1989

The Boolean Spectrum of an o-Minimal Theory.

Charles Steinhorn, Carlo Toffalori

Notre Dame J. Formal Log., 1989

p-ℵ₀-Categorical Lattice-Ordered Structures.

Carlo Toffalori

Math. Log. Q., 1989

1987

Cantor-Bendixson spectra of ω-stable theories.

Carlo Toffalori

Notre Dame J. Formal Log., 1987

1986

Locally p-ℵ₀-Categorical Theories.

Carlo Toffalori

Math. Log. Q., 1986

1985

On Cantor-Bendixson Spectra Containing (1, 1) II.

Annalisa Marcja, Carlo Toffalori

J. Symb. Log., 1985

1984

On Pseudo -<i>N</i>₀-Categorical Theories.

Annalisa Marcja, Carlo Toffalori

Math. Log. Q., 1984