English

Reducts of the Generic Digraph

Logic 2014-11-19 v1 Combinatorics

Abstract

The generic digraph (D,E)(D,E) is the unique countable homogeneous digraph that embeds all finite digraphs. In this paper, we determine the lattice of reducts of (D,E)(D,E), where a structure M\mathcal{M} is a reduct of (D,E)(D,E) if it has domain DD and all its \emptyset-definable relations are \emptyset-definable relations of (D,E)(D,E). As (D,E)(D,E) is 0\aleph_0-categorical, this is equivalent to determining the lattice of closed groups that lie in between Aut(D,E)(D,E) and Sym(D)(D).

Keywords

Cite

@article{arxiv.1411.4820,
  title  = {Reducts of the Generic Digraph},
  author = {Lovkush Agarwal},
  journal= {arXiv preprint arXiv:1411.4820},
  year   = {2014}
}
R2 v1 2026-06-22T07:02:51.488Z