1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
math.LO2021★ 1 cited
The cumulative hierarchy in Homotopy Type Theory
Ioannis Eleftheriadis
We explore the cumulative hierarchy defined in Chapter 10 of the HoTT book. We begin by showing how to translate formulas of set theory in HoTT, and proceed to examine which ax…