Alessandro Berarducci

24 papers B 1Journal 22Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Orthogonal Decomposition of Definable Groups.
J. Symb. Log.
Alessandro Berarducci, Pantelis E. Eleftheriou, Marcello Mamino
2024 J jnl
Vector spaces with a union of independent subspaces.
Arch. Math. Log.
Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
2022 J jnl
Asymptotic Analysis of Skolem's exponential Functions.
J. Symb. Log.
Alessandro Berarducci, Marcello Mamino
2019 J jnl
Cartan subgroups and regular points of o-minimal groups.
J. Lond. Math. Soc.
Elías Baro, Alessandro Berarducci, Margarita Otero
2011 J jnl
On the homotopy type of definable groups in an o-minimal structure.
J. Lond. Math. Soc.
Alessandro Berarducci, Marcello Mamino
2009 J jnl
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup.
J. Symb. Log.
Alessandro Berarducci
2009 J jnl
O-Minimal Cohomology: Finiteness and invariance Results.
J. Math. Log.
Alessandro Berarducci, Antongiulio Fornasiero
2007 J jnl
Corrigendum to: "Transfer methods for o-minimal topology".
J. Symb. Log.
Alessandro Berarducci, Mário J. Edmundo, Margarita Otero
2007 J jnl
O-minimal spectra, infinitesimal subgroups and cohomology.
J. Symb. Log.
Alessandro Berarducci
2005 J jnl
A descending chain condition for groups definable in
Ann. Pure Appl. Log.
Alessandro Berarducci, Margarita Otero, Ya'acov Peterzil, Anand Pillay
2004 J jnl
An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
Ann. Pure Appl. Log.
Alessandro Berarducci, Tamara Servi
2003 J jnl
Transfer methods for o-minimal topology.
J. Symb. Log.
Alessandro Berarducci, Margarita Otero
2001 — conf
General Recursion on Second Order Term Algebras.
RTA
Alessandro Berarducci, Corrado Böhm
2001 J jnl
Intersection theory for 0-minimal manifolds.
Ann. Pure Appl. Log.
Alessandro Berarducci, Margarita Otero
1999 J jnl
Infinite lambda-Calculus and Types.
Theor. Comput. Sci.
Alessandro Berarducci, Mariangiola Dezani-Ciancaglini
1996 J jnl
A Recursive Nonstandard Model of Normal Open Induction.
J. Symb. Log.
Alessandro Berarducci, Margarita Otero
1995 J jnl
Delta
Ann. Pure Appl. Log.
Alessandro Berarducci, Paola D'Aquino
1993 J jnl
Generalizations of Unification.
J. Symb. Comput.
Alessandro Berarducci, Marisa Venturini Zilli
1993 J jnl
On the Provability Logic of Bounded Arithmetic.
Ann. Pure Appl. Log.
Alessandro Berarducci, Rineke Verbrugge
1993 J jnl
Some New Results on Easy lambda-Terms.
Theor. Comput. Sci.
Alessandro Berarducci, Benedetto Intrigila
1992 B conf
A Self-Interpreter of Lambda Calculus Having a Normal Form.
CSL
Alessandro Berarducci, Corrado Böhm
1991 J jnl
Combinatorial Principles in Elementary Number Theory.
Ann. Pure Appl. Log.
Alessandro Berarducci, Benedetto Intrigila
1990 J jnl
The Interpretability Logic of Peano Arithmetic.
J. Symb. Log.
Alessandro Berarducci
1985 J jnl
Automatic Synthesis of Typed Lambda-Programs on Term Algebras.
Theor. Comput. Sci.
Corrado Böhm, Alessandro Berarducci