Reducts of the Generic Digraph
Logic
2014-11-19 v1 Combinatorics
Abstract
The generic digraph is the unique countable homogeneous digraph that embeds all finite digraphs. In this paper, we determine the lattice of reducts of , where a structure is a reduct of if it has domain and all its -definable relations are -definable relations of . As is -categorical, this is equivalent to determining the lattice of closed groups that lie in between Aut and Sym.
Keywords
Cite
@article{arxiv.1411.4820,
title = {Reducts of the Generic Digraph},
author = {Lovkush Agarwal},
journal= {arXiv preprint arXiv:1411.4820},
year = {2014}
}