Article ID Journal Published Year Pages File Type
4661597 Annals of Pure and Applied Logic 2016 22 Pages PDF
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 MM is a reduct of (D,E)(D,E) if it has domain D   and all its ∅-definable relations are ∅-definable relations of (D,E)(D,E). As (D,E)(D,E) is ℵ0ℵ0-categorical, this is equivalent to determining the lattice of closed groups that lie in between Aut(D,E)Aut(D,E) and Sym(D)Sym(D).

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,