2 citations · 3 across the 4 of their papers we have counts for
6 papers · 1 filter
One Lie group to define them all
Annalisa Conversano, Marcello Mamino
We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the do…
Asymptotic analysis of Skolem's exponential functions
Alessandro Berarducci, Marcello Mamino
Skolem (1956) studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant , the identity function , and suc…
Fundamental group in o-minimal structures with definable Skolem functions
Bruno Dinis, Mário J. Edmundo, Marcello Mamino
In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably…
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains
Manuel Bodirsky, Marcello Mamino, Caterina Viola
Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. It is desirable to classify the computational complexity of VCSPs dependin…
Groups definable in two orthogonal sorts
Alessandro Berarducci, Marcello Mamino
This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a…
Arithmetic of Dedekind cuts of ordered Abelian groups
Antongiulio Fornasiero, Marcello Mamino
We study the set of Dedekind cuts over a linearly ordered Abelian group as a structure over the language (0,<,+,-). Moreover, we obtain a simple set of axioms for the universal par…