2 papers
math.LO2026
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…
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…