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

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

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

(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)