Reducts of structures and maximal-closed permutation groups

26 Feb 2015  ·  Bodirsky Manuel, Macpherson Dugald ·

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 either of two senses (model-theoretic, and group-theoretic). We also construct a strongly minimal set which is not omega-categorical but has no proper non-trivial reducts in the model-theoretic sense...

PDF Abstract
No code implementations yet. Submit your code now

Categories


Logic