Universality vs Genericity and $C_4$-free graphs
Abstract
We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide several new examples of weak Fraïssé classes of finite graphs. Finally, we show that the class of all countable $C_4$-free graphs does not contain a generic structure, strengthening a result of A. Hajnal and J. Pach.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2021
- DOI:
- 10.48550/arXiv.2104.13222
- arXiv:
- arXiv:2104.13222
- Bibcode:
- 2021arXiv210413222P
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Combinatorics;
- 05C75;
- 05C38;
- 03C52