Reducts of structures and maximal-closed permutation groups

Manuel Bodirsky, Dugald Macpherson

Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in eith…