Showing math.LOShow all
2 papers · 1 filter
math.LO2023
Algebraically universal categories of relational structures
Ioannis Eleftheriadis
We consider categories of relational structures that fully embed every category of universal algebras, and prove a partial characterisation of these in terms of an infinitary varia…
math.LO2023
Monadic NIP in monotone classes of relational structures
Samuel Braunfeld, Anuj Dawar, Ioannis Eleftheriadis +1
We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of…