Article contents
REDUCTS OF STRUCTURES AND MAXIMAL-CLOSED PERMUTATION GROUPS
Published online by Cambridge University Press: 14 September 2016
Abstract
Answering a question of Junker and Ziegler, we construct a countable first order structure which is not ω-categorical, but does not have any proper nontrivial reducts, in either of two senses (model-theoretic, and group-theoretic). We also construct a strongly minimal set which is not ω-categorical but has no proper nontrivial reducts in the model-theoretic sense.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2016
References
REFERENCES
- 2
- Cited by