pith. sign in

arxiv: 1411.4820 · v1 · pith:B2GP7TPDnew · submitted 2014-11-18 · 🧮 math.LO · math.CO

Reducts of the Generic Digraph

classification 🧮 math.LO math.CO
keywords digraphdefinableemptysetgenericlatticereductsrelationsaleph
0
0 comments X
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.