- Infinite calculus and Types ? Alessandro Berarducci
- O-minimal cohomology: finiteness and invariance Alessandro Berarducci
- Uniform quasi components, thin spaces and compact separation Alessandro Berarducci
- Infinite calculus and Types ? Alessandro Berarducci
- Istituzioni di Logica. I parte: Calcolo dei Alessandro Berarducci
- An e ective version of Wilkie's theorem of the complement and some e ective o-minimality
- Intersection theory for o-minimal Alessandro Berarducci
- Corso di Laurea in Informatica Primo Appello del 14 Gennaio 2004 { Versione A
- In nite -calculus and non-sensible models Alessandro Berarducci
- Ominimal fundamental group, homology and manifolds
- A self-interpreter of lambda calculus having a normal form
- General recursion on second order term Alessandro Berarducci 1 and Corrado Bohm 2
- A recursive nonstandard model of normal open Alessandro Berarducci
- Church Rosser -theories, in nite -terms and consistency problems
- Linear recurrence relations are 0 de nable Alessandro Berarducci
- Some new results on easy lambda-terms Alessandro Berarducci
- Local connectedness and extension of uniformly continuous functions
- An additive measure in o-minimal expansions of elds
- Transfer methods for o{minimal topology Alessandro Berarducci Margarita Otero
- A descending chain condition for groups de nable in o-minimal structures
- Functions with distant bers and uniform continuity Alessandro Berarducci
- Uniformly approachable functions and spaces Alessandro Berarducci
- 0 complexity of the relation y = i n F (i) Alessandro Berarducci
- An additivity theorem for uniformly continuous functions Alessandro Berarducci
- Istituzioni di Logica Matematica 2007-08 Parte sulle interpretazioni e teorie indecidibili
- HIGHER HOMOTOPY OF GROUPS DEFINABLE IN O-MINIMAL STRUCTURES
- Appunti provvisori del corso di Matematica Alessandro Berarducci e Giovanni Gaiffi 10 Dic. 2008.
- Informatica LMM A.A. 2006/07 -Primo appello, 9 gennaio 2007
- Elementi di Teoria degli Insiemi, Alessandro Berarducci
- Note sugli ultraprodotti Alessandro Berarducci
- Informatica LMM A.A. 2006/07 -Sesto appello, 12 Settembre 2007
- Informatica LMM A.A. 2006/07 -Secondo appello, 1 Febbraio 2007
- INFINITE PATHS AND CLIQUES IN RANDOM GRAPHS ALESSANDRO BERARDUCCI, PIETRO MAJER AND MATTEO NOVAGA
- Appunti provvisori del corso di LMM Alessandro Berarducci
- Informatica LMM A.A. 2007/08 -Sesto appello, 4 settembre 2008
- User's guide for the Diagram Macros Francis Borceux
- Informatica Matematica Discreta A.A. 2008/09 -Primo appello, 1 Giugno 2009
- Informatica LMM A.A. 2007/08 -Secondo Appello, 31 Gennaio 2008
- Elementi di Teoria degli insiemi a.a. 2010-11
- Istituzioni di Logica Matematica I semestre, a.a. 2007-2008, Dipartimento di Matematica, Pisa
- Informatica Matematica Discreta A.A. 2008/09 -Primo appello, 1 Giugno 2009
- DISCRETE SUBGROUPS OF LOCALLY DEFINABLE GROUPS ALESSANDRO BERARDUCCI, MARIO EDMUNDO, AND MARCELLO MAMINO
- Istituzioni di Logica. I parte: Calcolo dei Alessandro Berarducci
- Uniformly approachable functions and spaces * Alessandro Berarducci
- Uniform quasi components, thin spaces and compact separation * Alessandro Berarducci
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- General recursion on second order term algebras?
- An additive measure in o-minimal expansions of fields
- A recursive nonstandard model of normal open induction
- Corso di Laurea in Informatica Prova scritta del 14 Gennaio 2004
- An effective version of Wilkie's theorem of the complement and some effective o-minimality
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- Some new results on easy lambda-terms * Alessandro Berarducci
- Corso di Laurea in Informatica Seconda prova intermedia del 17 Dicembre 2003 -Versione A
- Appunti del corso di Elementi di Logica, Calcolabilit`a e Complessit`a
- An additivity theorem for uniformly continuous functions Alessandro Berarducci
- A descending chain condition for groups definable in o-minimal structures
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- Functions with distant fibers and uniform continuity * Alessandro Berarducci
- Elementi di Logica Matematica II semestre, a.a. 2006-2007, Dipartimento di Matematica, Pisa
- Teorema di completezza per il calcolo proposizionale
- Istituzioni di Logica. I parte: Calcolo dei predicati
- A self-interpreter of lambda calculus having a normal form
- Transfer methods for o-minimal topology Alessandro Berarducci Margarita Otero*
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- O-minimal fundamental group, homology and manifolds
- Teoremi di G"odel Alessandro Berarducci
- Infinite ~-calculus and non-sensible models * Alessandro Berarducci
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- Intersection theory for o-minimal manifolds
- 0 complexity of the relation y = i n F (i) Alessandro Berarducci *
- Linear recurrence relations are 0 definable Alessandro Berarducci
- O-minimal cohomology: finiteness and invariance results
- Local connectedness and extension of uniformly continuous functions
- Church Rosser ~-theories, infinite ~-terms and consistency problems *
- Istituzioni di Logica Matematica I semestre, a.a. 2006-2007, Dipartimento di Matematica, Pisa
- Appunti ed esercizi del corso di Istituzioni di Logica Matematica
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- Curriculum vitae Alessandro Berarducci
- O-minimal spectra, infinitesimal subgroups and Alessandro Berarducci
- Istituzioni di Logica Matematica 2007-08 appunti su calcolabilit`a e teoremi di Godel
- COMPITO DI ARITMETICA 23 febbraio 2011
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- Elementi di Teoria degli insiemi Prova scritta del 9 Marzo 2011
- Informatica LMM A.A. 2007/08 -Primo Compitino, 7 Novembre 2007
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- Informatica LMM A.A. 2007/08 -Terzo appello, 10 giugno 2008
- Corso di "LOGICA MATEMATICA" Indice degli argomenti svolti.
- O-minimal cohomology: finiteness and invariance Alessandro Berarducci
- Group covers, o-minimality, and categoricity A. Berarducci
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica Prima prova intermedia 17 Novembre 2004
- Istituzioni di Logica Matematica 2007-08 appunti su calcolabilit`a e teoremi di Godel
- PROGRAMMA DEL CORSO "Teoria dei Modelli" DOCENTE: Alessandro Berarducci
- Esercizi di Aritmetica Alessandro Beraducci
- Elementi di Logica Matematica Secondo Appello 2006-07
- Istituzioni di Logica Matematica 2007-08 appunti su calcolabilit`a e teoremi di Godel
- ZERO-GROUPS AND MAXIMAL TORI ALESSANDRO BERARDUCCI
- CORSO DI "TEORIA DEGLI INSIEMI" DOCENTE: Alessandro Berarducci
- Discrete subgroups of locally definable groups A. Berarducci
- Informatica Matematica Discreta A.A. 2009/10 -Compito, 2 Febbraio 2010
- O-minimal cohomology: finiteness and invariance Alessandro Berarducci
- The Interpretability Logic of Peano Arithmetic Alessandro Berarducci
- ON THE HOMOTOPY TYPE OF DEFINABLE GROUPS IN AN O-MINIMAL STRUCTURE
- Corso di Laurea in Informatica Linguaggio e Metodi della Matematica
- A recursive nonstandard model of normal open Alessandro Berarducci
- Informatica LMM A.A. 2006/07 -Quinto appello, 17 Luglio 2007
- Indice degli argomenti svolti nel corso: Teoria degli Insiemi DOCENTE: Alessandro Berarducci
- PROGRAMMA DI "LOGICA MATEMATICA" DOCENTE: Alessandro Berarducci
- Curriculum vitae Alessandro Berarducci
- Elementi di Logica Matematica Quarto Appello 2006-07
- COHOMOLOGY OF GROUPS IN O-MINIMAL STRUCTURES: ACYCLICITY OF THE
- Informatica Matematica Discreta A.A. 2008/09 -Terzo appello, 13 Luglio 2009
- Corso di teoria dei modelli Alessandro Berarducci
- Corso di teoria dei modelli Alessandro Berarducci
- Corso Matematica Discreta -B. Anno 2008-2009 Consigli e regole.
- Informatica Matematica Discreta A.A. 2008/09 -Secondo appello, 23 Giugno 2009
