Alessandro Berarducci

发表

Delta0-Complexity of the Relation y = \prodi <= n F(i)

Alessandro Berarducci, Paola D'Aquino, 1995, Ann. Pure Appl. Log..

A Self-Interpreter of Lambda Calculus Having a Normal Form

Corrado Böhm, Alessandro Berarducci, A. Berarducci, 1992, CSL.

O-Minimal Cohomology: Finiteness and invariance Results

Alessandro Berarducci, Antongiulio Fornasiero, 2009, J. Math. Log..

Automatic Synthesis of Typed Lambda-Programs on Term Algebras

Corrado Böhm, Alessandro Berarducci, A. Berarducci, 1985, Theor. Comput. Sci..

On the Provability Logic of Bounded Arithmetic

Rineke Verbrugge, Alessandro Berarducci, A. Berarducci, 1993, Ann. Pure Appl. Log..

A Recursive Nonstandard Model of Normal Open Induction

Alessandro Berarducci, Margarita Otero, 1996, J. Symb. Log..

MODAL LOGIC AND INTERPRETABILITY

Alessandro Berarducci, 1989 .

Transfer methods for o-minimal topology

Alessandro Berarducci, Margarita Otero, 2003, J. Symb. Log..

Intersection theory for 0-minimal manifolds

Alessandro Berarducci, Margarita Otero, 2001, Ann. Pure Appl. Log..

Infinite lambda-Calculus and Types

Mariangiola Dezani-Ciancaglini, Alessandro Berarducci, M. Dezani-Ciancaglini, 1999, Theor. Comput. Sci..

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

Alessandro Berarducci, Mário J. Edmundo, Margarita Otero, 2007, J. Symb. Log..

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

Alessandro Berarducci, Marcello Mamino, 2011, J. Lond. Math. Soc..

The interpretability logic of Peano arithmetic

Alessandro Berarducci, A. Berarducci, 1990, Journal of Symbolic Logic.

Combinatorial Principles in Elementary Number Theory

Benedetto Intrigila, Alessandro Berarducci, 1991, Ann. Pure Appl. Log..

Some New Results on Easy lambda-Terms

Benedetto Intrigila, Alessandro Berarducci, 1993, Theor. Comput. Sci..

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

Alessandro Berarducci, 2009, J. Symb. Log..

O-minimal spectra, infinitesimal subgroups and cohomology

Alessandro Berarducci, 2007, J. Symb. Log..

General Recursion on Second Order Term Algebras

Corrado Böhm, Alessandro Berarducci, 2001, RTA.

Cartan subgroups and regular points of o‐minimal groups

Alessandro Berarducci, Margarita Otero, Elias Baro, 2017, J. Lond. Math. Soc..

Generalizations of Unification

Alessandro Berarducci, Marisa Venturini Zilli, 1993, J. Symb. Comput..

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

Tamara Servi, Alessandro Berarducci, 2004, Ann. Pure Appl. Log..

A descending chain condition for groups definable in o-minimal structures

Ya'acov Peterzil, Anand Pillay, Alessandro Berarducci, 2005, Ann. Pure Appl. Log..

On the value group of the transseries

Alessandro Berarducci, Pietro Freni, A. Berarducci, 2021, Pacific Journal of Mathematics.

Provability Logic: models within models in Peano Arithmetic

Alessandro Berarducci, Marcello Mamino, 2021 .

Orthogonal decomposition of definable groups

Alessandro Berarducci, Pantelis E. Eleftheriou, Marcello Mamino, 2021 .

Is the twin prime conjecture independent of Peano Arithmetic?

Joel David Hamkins, Alessandro Berarducci, Antongiulio Fornasiero, 2021 .

Review: Lou van den Dries, Tame Topology and O-Minimal Structures

Alessandro Berarducci, 2000, Bulletin of Symbolic Logic.

Innite -calculus and non-sensible models

Alessandro Berarducci, A. Berarducci, 1994 .

An additive measure in o-minimal expansions of fields

Alessandro Berarducci, 2004 .

Church-Rosser l-theories, infinite l-terms and consistency problems

Benedetto Intrigila, Alessandro Berarducci, 1996 .

Groups definable in two orthogonal sorts

Alessandro Berarducci, Marcello Mamino, 2013 .

Uniformly approachable functions and spaces

Alessandro Berarducci, Dikranjan Dikran, 1993 .