Alessandro Berarducci Dipartimento di Matematica Universita' di Pisa
Home	Curriculum	Papers	Students	Didattica	Links
PAPERS The documents available on this server are the preprint versions of my papers, not the published ones. If you don't succeed to download a paper please write to the author. E. Baro and A. Berarducci, Topology of definable abelian groups in o-minimal structures, To appear in: Bullettin of the London Mathematical Society, 2011, 7 pp. Last version 21 Sept. 2011, 7 pp. PDF ArXive version, 12 Feb. 2011: http://arxiv.org/abs/1102.2494 A. Berarducci, Y. Peterzil, A. Pillay , Group covers, o-minimality, and categoricity, Confluentes Mathematici, Vol. 2, No. 4 (2010) 473-496. Journal site . Preprint A. Berarducci, M. Mamino , On the homotopy type of definable groups in an o-minimal structure , Journal of the London Mathematical Society, Vol. 83, Part 3 (June 2011) 563-586 Version 26 July 2010, 25 pages. PDF A. Berarducci and A. Fornasiero, O-mininal cohomology: finiteness and invariance results , Journal of Mathematical Logic, vol. 9, No. 2 (2009) 167-182 PDF link to the Journal version A. Berarducci, D. Dikranjan, J. Pelant, Products of Straight Spaces, Topology and its Applications, Volume 156, Issue 7, 1 April 2009, Pages 1422-1437 PDF . Preprint version: arXiv:0809.5080. Date: Mon, 29 Sep 2008. 21 pages. A. Berarducci, M. Mamino, M. Otero, Higher homotopy of groups definable in o-minimal structures, Israel Journal of Mathematics 180 (2010) 143-161, arXiv:0809.4940. Date: Mon, 29 Sep 2008. 12 pages. Revised 10 Feb. 2009 A. Berarducci, M. Novaga, P. Majer, Ramsey-type results on random graphs, Submitted to Fundamenta Matematicae, Revised 18 Sept. 2011, 26 pages. PDF A. Berarducci, Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup , Journal of Symbolic Logic, Volume 74, Number 3, Sept. 2009, 891-900 PDF . Older version (15 Nov. 2007): arXiv:0711.2502v1 [math.LO] A. Berarducci, M. Edmundo, M. Otero,Corrigendum to ``Transfer methods for o-minimal topology'': J. symbolic Logic Volume 72, Issue 3 (2007), 1079-1080. A. Berarducci, O-minimal spectra, infinitesimal subgroups and cohomology , Journal of Symbolic Logic 72, n. 4 (2007) 1177-1193. PDF , A. Berarducci, Zero-groups and maximal tori , in: Logic Colloquium 2004. Editors: A. Andretta, K. Kearnes, D. Zambella, ASL Lecture Notes in Logic, Vol. 29 (2006) 33-45 PDF A. Berarducci, D. Dikranjan, J. Pelant, Local connectedness and extension of uniformly continuous functions , Topology and its applications, Vol. 153, n. 17 (2006) 3355-3371. PDF , PS , DVI A. Berarducci, M. Otero, Y. Peterzil, A. Pillay, A descending chain condition for groups definable in o-minimal structures, Annals of Pure and Applied Logic, 134 (2005) 303-313 PDF , PS , DVI A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions , Topology and its applications, Vol 146-147C (2005) 339--352 PDF , PS , DVI A. Berarducci and M. Otero, An additive measure in o-minimal expansions of fields, Quarterly Journal of Mathematics 55 (2004) 411--419. PDF , PS , DVI A. Berarducci and T. Servi, An effective version of Wilkie's theorem of the complement and some effective o-minimality results, Annals of Pure and Applied Logic 125/1-3 (2004) 43--74 PDF , PS , DVI A. Berarducci and M. Otero, Transfer methods for o-minimal topology , The Journal of Symbolic Logic 68, n. 3 (2003) 785-794. PDF , PS , DVI A. Berarducci and M. Otero, O-minimal fundamental group, homology and manifolds, Journal of the London Mathematical Society (2) 65 (2002) 257-270. PDF , PS , DVI A. Berarducci, D. Dikranjan, J. Pelant, Uniform quasi components, thin spaces and compact separation , Tolopology and its applications , vol. 122, n. 1-2 (2002) 51--64 PDF , PS , DVI A. Berarducci, D. Dikranjan and J. Pelant, Functions with distanct fibers and uniform continuity, Topology and its Applications , Volume 121, Issue 1-2 (2002 ) 3--23 PDF , PS , DVI A. Berarducci and M. Otero, Intersection theory for o-minimal manifolds, Annals of Pure and Applied Logic 107 (2001) 87-119. PDF , PS , DVI A. Berarducci and C. Boehm, General recursion on second order term algebras, 12th International Conference, Rewriting Techniques and Applications, Utrecht 2001, Lecture Notes in Computer Science, vol.2051, Springer-Verlag 2001, 15-30. PDF , PS , DVI A. Berarducci, Factorization in generalized power series, Transactions of AMS, Vol. 352, N. 2 (1999) 553--577. The paper can be found at the Link to the Journal website . A. Berarducci and B. Intrigila, Linear recurrence relations are $\Delta_0$-definable, Logic and Foundations of Mathematics, Selected contributed papers, LMPS '95 (A.Cantini, E.Casari, P.Minari editors), Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999, 67--81. PDF , PS , DVI Alessandro Berarducci and Mariangiola Dezani-Ciancaglini, Infinite $\lambda$-calculus and types, Theoretical computer science 212 (1999) 29--75. PS Alessandro Berarducci, Dikran Dikranjan, Marco Forti, Stephen Watson, Cardinal invariants and independence results in the poset of precompact group topologies, J. of Pure and Applied Algebra 126 (1998) 19--49. Link to sciencedirect A. Berarducci and M. Otero, A recursive nonstandard model of normal open induction , The Journal of Symbolic Logic, 61, n.4 (1996) 1228-1241. PDF , PS , DVI Alessandro Berarducci and Benedetto Intrigila, Church-Rosser $\lambda$-theories, infinite $\lambda$-terms and consistency problems, in: Logic: from Foundations to Applications, European logic colloquium, edited by W. Hodges, M. Hyland, C. Steinhorn and J. Truss, Clarendon Press, Oxford, 1996, 33--58. PDF , PS , DVI Alessandro Berarducci, Infinite lambda-calculus and non-sensible models, in: Logic and Algebra (Pontignano 1994) (Lecture Notes in Pure and Applied Mathematics Series/180), edited by A. Ursini and P. Aglian\`o, Marcel Dekker Inc., 1996, 339--378. PDF , PS , DVI Alessandro Berarducci and Paola D'Aquino, $\Delta_0$-complexity of the relation $y = \Pi_{i \leq n} F(i)$, Annals of Pure and Applied Logic 75 (1995) 49--56. PDF , PS , DVI Alessandro Berarducci and Dikran Dikranjan, Uniformly approachable functions and spaces, Rendiconti dell'Istituto di Matematica dell'Universit\`a di Trieste, 25 (1993) 23--56. PDF , PS , DVI Alessandro Berarducci and Marisa Venturini Zilli, Generalizations of Unification, Journal of Symbolic Computations 16 (1993) 479--491. Alessandro Berarducci and Benedetto Intrigila, Some new results on easy lambda-terms, Theoretical Computer Science 121 (1993) 71--88. PDF , PS , DVI Alessandro Berarducci and Benedetto Intrigila, On the cop number of a graph, Advances in Applied mathematics 14 (1993) 389--403. Alessandro Berarducci and Rineke Verbrugge, On the provability logic of bounded arithmetic, Annals of Pure and Applied Logic, 61 (1993) 75--93. Alessandro Berarducci and Corrado Bö hm, A self-interpreter of lambda calculus having a normal form, 6th Workshop, CSL `92, San Miniato, Italy, Springer Lecture Notes in Computer Science 702, E. Bö rger \& al. eds.,1992, 85--99. PDF , PS , DVI Alessandro Berarducci and Benedetto Intrigila, Combinatorial principles in elementary number theory, Annals of Pure and Applied Logic, 55 (1991) 35--50. Alessandro Berarducci and Benedetto Intrigila, A note on coding techniques in IDelta_0, Rapporto Matematico n. 231, Dipartimento di Matematica, Siena, Gennaio 1991, 1--12. PDF Alessandro Berarducci, The Interpretability Logic of Peano Arithmetic, Journal of Symbolic Logic 55, no. 3 (1990) 1059--1089. PDF Alessandro Berarducci, $\Sigma^0_n$-interpretations of modal logic, Bollettino dell'Unione Matematica Italiana, (7) 3-A (1989) 177--184. Alessandro Berarducci and Corrado Bö hm, Automatic Synthesis of Typed Lambda-Programs on Term Algebras, Theoretical Computer Science 39 (1985) 135--154. Alessandro Berarducci, Una Generalizzazione dei Funzionali Ricorsivi di Gö del'', Atti degli Incontri di Logica Matematica, Siena 1984, pp. 467--476.

Alessandro Berarducci

Dipartimento di Matematica
Universita' di Pisa

Papers

PAPERS

The documents available on this server are the preprint versions of my papers, not the published ones.
If you don't succeed to download a paper please write to the author.

E. Baro and A. Berarducci, Topology of definable abelian groups in o-minimal structures, To appear in: Bullettin of the London Mathematical Society, 2011, 7 pp.
Last version 21 Sept. 2011, 7 pp. PDF
ArXive version, 12 Feb. 2011: http://arxiv.org/abs/1102.2494

A. Berarducci, Y. Peterzil, A. Pillay , Group covers, o-minimality, and categoricity, Confluentes Mathematici, Vol. 2, No. 4 (2010) 473-496.
Journal site . Preprint

A. Berarducci, M. Mamino , On the homotopy type of definable groups in an o-minimal structure , Journal of the London Mathematical Society, Vol. 83, Part 3 (June 2011) 563-586
Version 26 July 2010, 25 pages. PDF

A. Berarducci and A. Fornasiero, O-mininal cohomology: finiteness and invariance results , Journal of Mathematical Logic, vol. 9, No. 2 (2009) 167-182
PDF
link to the Journal version

A. Berarducci, D. Dikranjan, J. Pelant, Products of Straight Spaces, Topology and its Applications, Volume 156, Issue 7, 1 April 2009, Pages 1422-1437 PDF .
Preprint version: arXiv:0809.5080. Date: Mon, 29 Sep 2008. 21 pages.

A. Berarducci, M. Mamino, M. Otero, Higher homotopy of groups definable in o-minimal structures, Israel Journal of Mathematics 180 (2010) 143-161, arXiv:0809.4940. Date: Mon, 29 Sep 2008. 12 pages. Revised 10 Feb. 2009

A. Berarducci, M. Novaga, P. Majer, Ramsey-type results on random graphs, Submitted to Fundamenta Matematicae, Revised 18 Sept. 2011, 26 pages. PDF

A. Berarducci, Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup , Journal of Symbolic Logic, Volume 74, Number 3, Sept. 2009, 891-900 PDF . Older version (15 Nov. 2007): arXiv:0711.2502v1 [math.LO]

A. Berarducci, M. Edmundo, M. Otero,Corrigendum to ``Transfer methods for o-minimal topology'': J. symbolic Logic Volume 72, Issue 3 (2007), 1079-1080.

A. Berarducci, O-minimal spectra, infinitesimal subgroups and cohomology , Journal of Symbolic Logic 72, n. 4 (2007) 1177-1193. PDF ,

A. Berarducci, Zero-groups and maximal tori , in: Logic Colloquium 2004. Editors: A. Andretta, K. Kearnes, D. Zambella, ASL Lecture Notes in Logic, Vol. 29 (2006) 33-45 PDF

A. Berarducci, D. Dikranjan, J. Pelant, Local connectedness and extension of uniformly continuous functions , Topology and its applications, Vol. 153, n. 17 (2006) 3355-3371. PDF , PS , DVI

A. Berarducci, M. Otero, Y. Peterzil, A. Pillay, A descending chain condition for groups definable in o-minimal structures, Annals of Pure and Applied Logic, 134 (2005) 303-313 PDF , PS , DVI

A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions , Topology and its applications, Vol 146-147C (2005) 339--352 PDF , PS , DVI

A. Berarducci and M. Otero, An additive measure in o-minimal expansions of fields, Quarterly Journal of Mathematics 55 (2004) 411--419. PDF , PS , DVI

A. Berarducci and T. Servi, An effective version of Wilkie's theorem of the complement and some effective o-minimality results, Annals of Pure and Applied Logic 125/1-3 (2004) 43--74 PDF , PS , DVI

A. Berarducci and M. Otero, Transfer methods for o-minimal topology , The Journal of Symbolic Logic 68, n. 3 (2003) 785-794. PDF , PS , DVI

A. Berarducci and M. Otero, O-minimal fundamental group, homology and manifolds, Journal of the London Mathematical Society (2) 65 (2002) 257-270. PDF , PS , DVI

A. Berarducci, D. Dikranjan, J. Pelant, Uniform quasi components, thin spaces and compact separation , Tolopology and its applications , vol. 122, n. 1-2 (2002) 51--64 PDF , PS , DVI

A. Berarducci, D. Dikranjan and J. Pelant, Functions with distanct fibers and uniform continuity, Topology and its Applications , Volume 121, Issue 1-2 (2002 ) 3--23 PDF , PS , DVI

A. Berarducci and M. Otero, Intersection theory for o-minimal manifolds, Annals of Pure and Applied Logic 107 (2001) 87-119. PDF , PS , DVI

A. Berarducci and C. Boehm, General recursion on second order term algebras, 12th International Conference, Rewriting Techniques and Applications, Utrecht 2001, Lecture Notes in Computer Science, vol.2051, Springer-Verlag 2001, 15-30. PDF , PS , DVI

A. Berarducci, Factorization in generalized power series, Transactions of AMS, Vol. 352, N. 2 (1999) 553--577. The paper can be found at the Link to the Journal website .

A. Berarducci and B. Intrigila, Linear recurrence relations are $\Delta_0$-definable, Logic and Foundations of Mathematics, Selected contributed papers, LMPS '95 (A.Cantini, E.Casari, P.Minari editors), Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999, 67--81. PDF , PS , DVI

Alessandro Berarducci and Mariangiola Dezani-Ciancaglini, Infinite $\lambda$-calculus and types, Theoretical computer science 212 (1999) 29--75. PS

Alessandro Berarducci, Dikran Dikranjan, Marco Forti, Stephen Watson, Cardinal invariants and independence results in the poset of precompact group topologies, J. of Pure and Applied Algebra 126 (1998) 19--49. Link to sciencedirect

A. Berarducci and M. Otero, A recursive nonstandard model of normal open induction , The Journal of Symbolic Logic, 61, n.4 (1996) 1228-1241. PDF , PS , DVI

Alessandro Berarducci and Benedetto Intrigila, Church-Rosser $\lambda$-theories, infinite $\lambda$-terms and consistency problems, in: Logic: from Foundations to Applications, European logic colloquium, edited by W. Hodges, M. Hyland, C. Steinhorn and J. Truss, Clarendon Press, Oxford, 1996, 33--58. PDF , PS , DVI

Alessandro Berarducci, Infinite lambda-calculus and non-sensible models, in: Logic and Algebra (Pontignano 1994) (Lecture Notes in Pure and Applied Mathematics Series/180), edited by A. Ursini and P. Aglian\`o, Marcel Dekker Inc., 1996, 339--378. PDF , PS , DVI

Alessandro Berarducci and Paola D'Aquino, $\Delta_0$-complexity of the relation $y = \Pi_{i \leq n} F(i)$, Annals of Pure and Applied Logic 75 (1995) 49--56. PDF , PS , DVI

Alessandro Berarducci and Dikran Dikranjan, Uniformly approachable functions and spaces, Rendiconti dell'Istituto di Matematica dell'Universit\`a di Trieste, 25 (1993) 23--56. PDF , PS , DVI

Alessandro Berarducci and Marisa Venturini Zilli, Generalizations of Unification, Journal of Symbolic Computations 16 (1993) 479--491.

Alessandro Berarducci and Benedetto Intrigila, Some new results on easy lambda-terms, Theoretical Computer Science 121 (1993) 71--88. PDF , PS , DVI

Alessandro Berarducci and Benedetto Intrigila, On the cop number of a graph, Advances in Applied mathematics 14 (1993) 389--403.

Alessandro Berarducci and Rineke Verbrugge, On the provability logic of bounded arithmetic, Annals of Pure and Applied Logic, 61 (1993) 75--93.

Alessandro Berarducci and Corrado Bö hm, A self-interpreter of lambda calculus having a normal form, 6th Workshop, CSL `92, San Miniato, Italy, Springer Lecture Notes in Computer Science 702, E. Bö rger \& al. eds.,1992, 85--99. PDF , PS , DVI

Alessandro Berarducci and Benedetto Intrigila, Combinatorial principles in elementary number theory, Annals of Pure and Applied Logic, 55 (1991) 35--50.

Alessandro Berarducci and Benedetto Intrigila, A note on coding techniques in IDelta_0, Rapporto Matematico n. 231, Dipartimento di Matematica, Siena, Gennaio 1991, 1--12. PDF

Alessandro Berarducci, The Interpretability Logic of Peano Arithmetic, Journal of Symbolic Logic 55, no. 3 (1990) 1059--1089. PDF

Alessandro Berarducci, $\Sigma^0_n$-interpretations of modal logic, Bollettino dell'Unione Matematica Italiana, (7) 3-A (1989) 177--184.

Alessandro Berarducci and Corrado Bö hm, Automatic Synthesis of Typed Lambda-Programs on Term Algebras, Theoretical Computer Science 39 (1985) 135--154.

Alessandro Berarducci, Una Generalizzazione dei Funzionali Ricorsivi di Gö del'', Atti degli Incontri di Logica Matematica, Siena 1984, pp. 467--476.

Alessandro Berarducci

Dipartimento di Matematica Universita' di Pisa

PAPERS

Dipartimento di Matematica
Universita' di Pisa