Follow
Ioannis Eleftheriadis
Title
Cited by
Cited by
Year
First-order model checking on monadically stable graph classes
J Dreier, I Eleftheriadis, N Mählmann, R McCarty, M Pilipczuk, ...
arXiv preprint arXiv:2311.18740, 2023
62023
The cumulative hierarchy in homotopy type theory
I Eleftheriadis
arXiv preprint arXiv:2108.06348, 2021
22021
Algebraically universal categories of relational structures
I Eleftheriadis
arXiv preprint arXiv:2303.13274, 2023
12023
Monadic NIP in monotone classes of relational structures
S Braunfeld, A Dawar, I Eleftheriadis, A Papadopoulos
arXiv preprint arXiv:2302.05695, 2023
12023
Universal slices of the category of graphs
I Eleftheriadis
arXiv preprint arXiv:2310.03207, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–5