Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661597 | Annals of Pure and Applied Logic | 2016 | 22 Pages |
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
Lovkush Agarwal,