Reducts of the Generic Digraph
classification
🧮 math.LO
math.CO
keywords
digraphdefinableemptysetgenericlatticereductsrelationsaleph
read the original abstract
The generic digraph $(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)$, where a structure $\mathcal{M}$ is a reduct of $(D,E)$ if it has domain $D$ and all its $\emptyset$-definable relations are $\emptyset$-definable relations of $(D,E)$. As $(D,E)$ is $\aleph_0$-categorical, this is equivalent to determining the lattice of closed groups that lie in between Aut$(D,E)$ and Sym$(D)$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.