1.  1
    Asymptotic Analysis of Skolem’s Exponential Functions.Alessandro Berarducci & Marcello Mamino - forthcoming - Journal of Symbolic Logic:1-24.
  2.  24
    Splitting Definably Compact Groups in o-Minimal Structures.Marcello Mamino - 2011 - Journal of Symbolic Logic 76 (3):973 - 986.
    An argument of A. Borel [Bor—61, Proposition 3.1] shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an o-minimal expansion of a real closed field. As opposed to the Lie case, however, we provide an example showing that the derived subgroup may not have a definable semidirect complement.
    Direct download (6 more)  
    Export citation  
  3.  5
    Arithmetic of Dedekind Cuts of Ordered Abelian Groups.Antongiulio Fornasiero & Marcello Mamino - 2008 - Annals of Pure and Applied Logic 156 (2):210-244.
    We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures.
    Direct download (4 more)  
    Export citation