A structure in a first-order language is \emph{indivisible} if for every coloring of in two colors, there is a monochromatic such that . Additionally, we say that is symmetrically indivisible if can be chosen to be \emph{symmetrically embedded} in (that is, every automorphism of can be extended to an automorphism of ). In the following paper we give a general method for constructing new symmetrically indivisible structures out of existing ones. Using this method, we construct 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 be a symmetrically indivisible structure in a language . Let . Is $ \upharpoonright _0$ symmetrically indivisible?

生成讲解博客的中文版本

生成AI智能校验的中文版本