Submission date: 23 October 2013.

Abstract:

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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1310.6393: pdf, ps.