Alessandro Berarducci

According to our database, Alessandro Berarducci authored at least 22 papers between 1985 and 2022.

Collaborative distances:

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

2022

Asymptotic Analysis of Skolem's exponential Functions.

Alessandro Berarducci, Marcello Mamino

J. Symb. Log., 2022

2019

Cartan subgroups and regular points of o-minimal groups.

Elías Baro, Alessandro Berarducci, Margarita Otero

J. Lond. Math. Soc., 2019

2011

On the homotopy type of definable groups in an o-minimal structure.

Alessandro Berarducci, Marcello Mamino

J. Lond. Math. Soc., 2011

2009

Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup.

Alessandro Berarducci

J. Symb. Log., 2009

O-Minimal Cohomology: Finiteness and invariance Results.

Alessandro Berarducci, Antongiulio Fornasiero

J. Math. Log., 2009

2007

Corrigendum to: "Transfer methods for o-minimal topology".

Alessandro Berarducci, Mário J. Edmundo, Margarita Otero

J. Symb. Log., 2007

O-minimal spectra, infinitesimal subgroups and cohomology.

Alessandro Berarducci

J. Symb. Log., 2007

2005

A descending chain condition for groups definable in <i>o</i>-minimal structures.

Alessandro Berarducci, Margarita Otero, Ya'acov Peterzil, Anand Pillay

Ann. Pure Appl. Log., 2005

2004

An effective version of Wilkie's theorem of the complement and some effective o-minimality results.

Alessandro Berarducci, Tamara Servi

Ann. Pure Appl. Log., 2004

2003

Transfer methods for o-minimal topology.

Alessandro Berarducci, Margarita Otero

J. Symb. Log., 2003

2001

Intersection theory for 0-minimal manifolds.

Alessandro Berarducci, Margarita Otero

Ann. Pure Appl. Log., 2001

General Recursion on Second Order Term Algebras.

Alessandro Berarducci, Corrado Böhm

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

1999

Infinite lambda-Calculus and Types.

Alessandro Berarducci, Mariangiola Dezani-Ciancaglini

Theor. Comput. Sci., 1999

1996

A Recursive Nonstandard Model of Normal Open Induction.

Alessandro Berarducci, Margarita Otero

J. Symb. Log., 1996

1995

Delta₀-Complexity of the Relation y = \prod_{i <= n} F(i).

Alessandro Berarducci, Paola D'Aquino

Ann. Pure Appl. Log., 1995

1993

Some New Results on Easy lambda-Terms.

Alessandro Berarducci, Benedetto Intrigila

Theor. Comput. Sci., 1993

Generalizations of Unification.

Alessandro Berarducci, Marisa Venturini Zilli

J. Symb. Comput., 1993

On the Provability Logic of Bounded Arithmetic.

Alessandro Berarducci, Rineke Verbrugge

Ann. Pure Appl. Log., 1993

1992

A Self-Interpreter of Lambda Calculus Having a Normal Form.

Alessandro Berarducci, Corrado Böhm

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Combinatorial Principles in Elementary Number Theory.

Alessandro Berarducci, Benedetto Intrigila

Ann. Pure Appl. Log., 1991

1990

The Interpretability Logic of Peano Arithmetic.

Alessandro Berarducci

J. Symb. Log., 1990

1985

Automatic Synthesis of Typed Lambda-Programs on Term Algebras.

Corrado Böhm, Alessandro Berarducci

Theor. Comput. Sci., 1985