7 citations · 7 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2025
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…
math.LO2025
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…