Reducts of structures and maximal-closed permutation groups

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

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 (modeltheoretic, 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.

Details

Original languageEnglish
Pages (from-to)1087-1114
Number of pages28
JournalJournal of Symbolic Logic
Volume81
Issue number3
Publication statusPublished - 1 Sept 2016
Peer-reviewedYes

External IDs

ORCID /0000-0001-8228-3611/work/142241116

Keywords

ASJC Scopus subject areas

Keywords

  • D-relations, Jordan permutation groups, Maximal closed subgroups, Reducts