Carlo Toffalori

According to our database1, Carlo Toffalori authored at least 41 papers between 1984 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
The Ziegler spectrum of the Ring of entire Complex Valued Functions.
J. Symb. Log., 2019

2018
Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields.
J. Symb. Log., 2018

2017
Preface.
Soft Comput., 2017

On the decidability of the theory of modules over the ring of algebraic integers.
Ann. Pure Appl. Logic, 2017

2014
Decidability of Modules over a BéZout Domain D+xq[X] with d a Principal Ideal Domain and Q its Field of fractions.
J. Symb. Log., 2014

2010
On complex exponentiation restricted to the integers.
J. Symb. Log., 2010

2009
Notes on local o-minimality.
Math. Log. Q., 2009

Towards the decidability of the theory of modules over finite commutative rings.
Ann. Pure Appl. Logic, 2009

2008
Preface to Special Issue devoted to the memory of Sauro Tulipani.
Mathematical Structures in Computer Science, 2008

2007
Preface.
Electr. Notes Theor. Comput. Sci., 2007

Decidability of the theory of modules over commutative valuation domains.
Ann. Pure Appl. Logic, 2007

2006
On pairs of free modules over a Dedekind domain.
Arch. Math. Log., 2006

2005
Filling certain cuts in discrete weakly o-minimal structures.
Math. Log. Q., 2005

Weakly minimal modules over integral group rings and over related classes of rings.
Math. Log. Q., 2005

2004
On the Boolean algebras of definable sets in weakly o-minimal theories.
Math. Log. Q., 2004

2003
omega-categorical weakly o-minimal expansions of Boolean lattices.
Math. Log. Q., 2003

2002
Decidability for Z2 G-lattices when G Extends the Noncyclic Group of Order 4.
Math. Log. Q., 2002

Comparing First Order Theories of Modules over Group Rings II: Decidability.
Math. Log. Q., 2002

Comparing First Order Theories of Modules over Group Rings.
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.
J. Symb. Log., 2002

2001
Weakly o-Minimal Expansions of Boolean Algebras.
Math. Log. Q., 2001

1999
On the Elementarity of Some Classes of Abelian-by-Infinite Groups.
Studia Logica, 1999

1998
Lattice Ordered O-Minimal Structures.
Notre Dame Journal of Formal Logic, 1998

The decision problem for [(Z)\vec]C(p3){\vec Z}C(p^3)-lattices with pp prime.
Arch. Math. Log., 1998

The theory of [(Z)\vec]C(2)2{\vec Z}C(2)^2-lattices is decidable.
Arch. Math. Log., 1998

1997
Wildness Implies Undecidability for Lattices over Group Rings.
J. Symb. Log., 1997

An Undecidability Theorem for Lattices Over Group Rings.
Ann. Pure Appl. Logic, 1997

1996
Some Decidability Results for ℤ[G]-Modules when G is Cyclic of Squarefree Order.
Math. Log. Q., 1996

Decidability for ℤ[G]-Modules when G is Cyclic of Prime Order.
Math. Log. Q., 1996

1994
Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View.
Math. Log. Q., 1994

1993
On the Undecidability of Some Classes of Abelian-by-Finite Groups.
Ann. Pure Appl. Logic, 1993

1991
Classifying Pairs of Equivalence Relations.
Notre Dame Journal of Formal Logic, 1991

Stability for Pairs of Equivalence Relations.
Notre Dame Journal of Formal Logic, 1991

Simple Pairs of Equivalence Relations.
Math. Log. Q., 1991

Classification theory for abelian groups with an endomorphism.
Arch. Math. Log., 1991

1989
The Boolean Spectrum of an o-Minimal Theory.
Notre Dame Journal of Formal Logic, 1989

p-ℵ0-Categorical Lattice-Ordered Structures.
Math. Log. Q., 1989

1987
Cantor-Bendixson spectra of ω-stable theories.
Notre Dame Journal of Formal Logic, 1987

1986
Locally p-ℵ0-Categorical Theories.
Math. Log. Q., 1986

1985
On Cantor-Bendixson Spectra Containing (1, 1) II.
J. Symb. Log., 1985

1984
On Pseudo -N0-Categorical Theories.
Math. Log. Q., 1984


  Loading...