Reducts of structures and maximal-closed permutation groups

DOI10.1017/JSL.2015.78zbMATH Open1372.03060arXiv1310.6393OpenAlexW2964045111WikidataQ59892472 ScholiaQ59892472MaRDI QIDQ2976381FDOQ2976381

Authors: Manuel Bodirsky, Dugald Macpherson 

Publication date: 28 April 2017

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Transitivity of permutation groups on unordered sets
• Title not available (Why is that?)
• Relations related to betweenness: their structure and automorphisms
• Ramsey Classes and Homogeneous Structures
• Infinite distance transitive graphs of finite valency
• Title not available (Why is that?)
• On variants of \(o\)-minimality
• On the orders of Primitive Permutation Groups
• Reducts of random hypergraphs
• Reducts of the random partial order

Cited In (5)

• Title not available (Why is that?)
• 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)