On products of elementarily indivisible structures

DOI10.1017/JSL.2015.74zbMATH Open1436.03182arXiv1502.00897OpenAlexW1482048229MaRDI QIDQ2976374FDOQ2976374

Authors: Nadav Meir 

Publication date: 28 April 2017

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

Abstract: We say a structure $M$ in a first-order language is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure $M^{\prime }$ of $M$ such that $M^{\prime }$ is isomorphic to $M$. Additionally, we say that $M$ is symmetrically indivisible if $M^{\prime }$ can be chosen to be symmetrically embedded in $M$ (that is, every automorphism of $M^{\prime }$ can be extended to an automorphism of $M$). Similarly, we say that $M$ is elementarily indivisible if $M^{\prime }$ can be chosen to be an elementary substructure. We define new products of structures in a relational language. We use these products to give recipes for construction of elementarily indivisible structures which are not transitive and elementarily indivisible structures which are not symmetrically indivisible, answering two questions presented by A. Hasson, M. Kojman and A. Onshuus.

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

Recommendations

• Many symmetrically indivisible structures
• On symmetric indivisibility of countable structures
• Ramsey-type properties of relational structures
• Partitions and indivisibility properties of countable dimensional vector spaces
• Infinite lexicographic products

zbMATH Keywords

coloringindivisibilityquantifier elimination

Mathematics Subject Classification ID

Generalized Ramsey theory (05C55) Categoricity and completeness of theories (03C35) Ramsey theory (05D10) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Sur l'extension aux relations de quelques propriétés des ordres
• A survey of homogeneous structures
• Divisibility of countable metric spaces
• On the Divisibility of Homogeneous Directed Graphs
• Symmetrized induced Ramsey theory
• Tournaments and Orders with the Pigeonhole Property
• Age and weak indivisibility
• Coloring of universal graphs
• On the divisibility of homogeneous hypergraphs
• A Pigeonhole Property for Relational Structures

Cited In (5)

• On symmetric indivisibility of countable structures
• Many symmetrically indivisible structures
• Infinite lexicographic products
• Ramsey-type properties of relational structures
• Products of classes of finite structures

This page was built for publication: On products of elementarily indivisible structures

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