2 citations · 2 across the 4 of their papers we have counts for
4 papers
Extending orders to types
Lorenzo Luperi Baglini, Marcello Mamino, Rosario Mennuni +2
Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation…
Ramsey's witnesses
Mauro Di Nasso, Lorenzo Luperi Baglini, Marcello Mamino +2
We introduce the notion of Ramsey partition regularity, a generalisation of partition regularity involving infinitary configurations. We provide characterisations of this notion in…
Self-divisible ultrafilters and congruences in
Mauro Di Nasso, Lorenzo Luperi Baglini, Rosario Mennuni +2
We introduce self-divisible ultrafilters, which we prove to be precisely those such that the weak congruence relation introduced by Šobot is an equivalence relation…
Vector spaces with a union of independent subspaces
Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
Motivated by the theory of locally definable groups, we study the theory of -vector spaces with a predicate for the union of an infinite family of independent subspaces. We…