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…