Reducts of structures and maximal-closed permutation groups

DOI10.1017/JSL.2015.78MaRDI QIDQ2976381zbMATH OpenOpenAlexWikidataFDO

Authors Manuel Bodirsky, Dugald Macpherson

Publication date 28 April 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.6393

zbMATH Keywords

reductsmaximal closed subgroupsstrongly minimal setsD-relationsJordan permutation groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Subgroups of symmetric groups (20B35) Categoricity and completeness of theories (03C35) Interpolation, preservation, definability (03C40) Infinite automorphism groups (20B27) Quantifier elimination, model completeness, and related topics (03C10)

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.

Recommendations

• Reducts of random hypergraphs
• Permutation groups with small orbit growth
• \(2^{\aleph_{0}}\) pairwise nonisomorphic maximal-closed subgroups of \(\mathrm{Sym}(\mathbb N)\) via the classification of the reducts of the Henson digraphs
• The 116 reducts of (ℚ, <, a)
• Jordan permutation groups and limits of \(D\)-relations

Cites work

• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 638942 (Why is no real title available?)
• scientific article; zbMATH DE number 1535858 (Why is no real title available?)
• Infinite distance transitive graphs of finite valency
• On the orders of Primitive Permutation Groups
• On variants of \(o\)-minimality
• Ramsey Classes and Homogeneous Structures
• Reducts of random hypergraphs
• Reducts of the random partial order
• Relations related to betweenness: their structure and automorphisms
• Transitivity of permutation groups on unordered sets

Cited in

(5)

• scientific article; zbMATH DE number 278883 (Why is no real title available?)
• The lattice of definability: origins, recent developments, and further directions
• NIP ω$\omega$‐categorical structures: The rank 1 case
• Jordan permutation groups and limits of \(D\)-relations
• \(2^{\aleph_{0}}\) pairwise nonisomorphic maximal-closed subgroups of \(\mathrm{Sym}(\mathbb N)\) via the classification of the reducts of the Henson digraphs

This page was built for publication: Reducts of structures and maximal-closed permutation groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2976381)