On products of elementarily indivisible structures

DOI10.1017/JSL.2015.74MaRDI QIDQ2976374zbMATH OpenOpenAlexFDO

Authors Nadav Meir

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/1502.00897

zbMATH Keywords

coloringindivisibilityquantifier elimination

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(7)

• Ramsey-type properties of relational structures
• Infinite lexicographic products
• Many symmetrically indivisible structures
• On symmetric indivisibility of countable structures
• Products of classes of finite structures
• Indivisibility for classes of graphs
• The externally definable Ramsey property and fixed points on type spaces

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)