Many symmetrically indivisible structures

DOI10.1002/MALQ.201400091zbMATH Open1354.03041arXiv1411.1202OpenAlexW3125236107MaRDI QIDQ2947239FDOQ2947239

Nadav Meir

Publication date: 22 September 2015

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: A structure $mathcalM$ in a first-order language $mathcalL$ is emph{indivisible} if for every coloring of $M$ in two colors, there is a monochromatic $mathcal{M}^{prime}subseteqmathcalM$ such that $mathcal{M}^{prime}congmathcalM$. Additionally, we say that $mathcalM$ is symmetrically indivisible if $mathcal{M}^{prime}$ can be chosen to be emph{symmetrically embedded} in $mathcalM$ (that is, every automorphism of $mathcal{M}^{prime}$ can be extended to an automorphism of $mathcalM$). In the following paper we give a general method for constructing new symmetrically indivisible structures out of existing ones. Using this method, we construct $2^{alep{h}_0}$ many non-isomorphic symmetrically indivisible countable structures in given (elementary) classes and answer negatively the following question asked by A. Hasson, M. Kojman and A. Onshuus in "On symmetric indivisibility of countable structures" (Cont. Math. 558(1):453--466): Let $mathcalM$ be a symmetrically indivisible structure in a language $mathcalL$. Let $mathcal{L}_{0}subseteqmathcalL$. Is $mathcalMupharpoonrightmathcal{L}_0$ symmetrically indivisible?

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

Recommendations

• On products of elementarily indivisible structures
• On symmetric indivisibility of countable structures
• Ramsey-type properties of relational structures
• Partitions and indivisibility properties of countable dimensional vector spaces
• Age and weak indivisibility

zbMATH Keywords

countable structuressymmetrically indivisible structures

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Infinite graphs (05C63) Transversal (matching) theory (05D15) Model theory of denumerable and separable structures (03C15) Applications of model theory (03C98)

Cites Work

• Universal graphs and universal functions
• A family of countable homogeneous graphs
• Ramsey-type properties of relational structures
• On the Divisibility of Homogeneous Directed Graphs
• Symmetrized induced Ramsey theory
• Age and weak indivisibility
• Coloring of universal graphs

Cited In (1)

• Ramsey-type properties of relational structures

This page was built for publication: Many symmetrically indivisible structures

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