Alessandro Berarducci

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 3

Top Topics

Asymptotic Analysis

Top Venues

Arch. Math. Log.

J. Lond. Math. Soc.

Publications

Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
Vector spaces with a union of independent subspaces. Arch. Math. Log. 63 (3-4) (2024)
Alessandro Berarducci, Marcello Mamino
Asymptotic Analysis of Skolem's exponential Functions. J. Symb. Log. 87 (2) (2022)
Elías Baro, Alessandro Berarducci, Margarita Otero
Cartan subgroups and regular points of o-minimal groups. J. Lond. Math. Soc. 100 (2) (2019)
Alessandro Berarducci, Marcello Mamino
On the homotopy type of definable groups in an o-minimal structure. J. Lond. Math. Soc. 83 (3) (2011)
Alessandro Berarducci, Antongiulio Fornasiero
O-Minimal Cohomology: Finiteness and invariance Results. J. Math. Log. 9 (2) (2009)
Alessandro Berarducci
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup. J. Symb. Log. 74 (3) (2009)
Alessandro Berarducci, Mário J. Edmundo, Margarita Otero
Corrigendum to: "Transfer methods for o-minimal topology". J. Symb. Log. 72 (3) (2007)
Alessandro Berarducci
O-minimal spectra, infinitesimal subgroups and cohomology. J. Symb. Log. 72 (4) (2007)
Alessandro Berarducci, Margarita Otero, Ya'acov Peterzil, Anand Pillay
-minimal structures. Ann. Pure Appl. Log. 134 (2-3) (2005)
Alessandro Berarducci, Tamara Servi
An effective version of Wilkie's theorem of the complement and some effective o-minimality results. Ann. Pure Appl. Log. 125 (1-3) (2004)
Alessandro Berarducci, Margarita Otero
Transfer methods for o-minimal topology. J. Symb. Log. 68 (3) (2003)
Alessandro Berarducci, Corrado Böhm
General Recursion on Second Order Term Algebras. RTA (2001)
Alessandro Berarducci, Margarita Otero
Intersection theory for 0-minimal manifolds. Ann. Pure Appl. Log. 107 (1-3) (2001)
Alessandro Berarducci, Mariangiola Dezani-Ciancaglini
Infinite lambda-Calculus and Types. Theor. Comput. Sci. 212 (1-2) (1999)
Alessandro Berarducci, Margarita Otero
A Recursive Nonstandard Model of Normal Open Induction. J. Symb. Log. 61 (4) (1996)
Alessandro Berarducci, Paola D'Aquino
F(i). Ann. Pure Appl. Log. 75 (1-2) (1995)
Alessandro Berarducci, Benedetto Intrigila
Some New Results on Easy lambda-Terms. Theor. Comput. Sci. 121 (1&2) (1993)
Alessandro Berarducci, Marisa Venturini Zilli
Generalizations of Unification. J. Symb. Comput. 16 (5) (1993)
Alessandro Berarducci, Rineke Verbrugge
On the Provability Logic of Bounded Arithmetic. Ann. Pure Appl. Log. 61 (1-2) (1993)
Alessandro Berarducci, Corrado Böhm
A Self-Interpreter of Lambda Calculus Having a Normal Form. CSL (1992)
Alessandro Berarducci, Benedetto Intrigila
Combinatorial Principles in Elementary Number Theory. Ann. Pure Appl. Log. 55 (1) (1991)
Alessandro Berarducci
The Interpretability Logic of Peano Arithmetic. J. Symb. Log. 55 (3) (1990)
Corrado Böhm, Alessandro Berarducci
Automatic Synthesis of Typed Lambda-Programs on Term Algebras. Theor. Comput. Sci. 39 (1985)