Many symmetrically indivisible structures

Nadav Meir

Research output: Contribution to journalArticlepeer-review

Abstract

A structure M in a first-order language L is indivisible if for every colouring of its universe M in two colours, there is a monochromatic M′⊆M such that M′≅M. Additionally, we say that M is symmetrically indivisible if M′ can be chosen to be symmetrically embedded in M (that is, every automorphism of M′ can be extended to an automorphism of M). 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ℵ0 many non-isomorphic symmetrically indivisible countable structures in given (elementary) classes and answer negatively the following question from : Let M be a symmetrically indivisible structure in a language L. Let L0⊆L. Is M{up harpoon right}L0 symmetrically indivisible?.

Original languageEnglish
Pages (from-to)341-346
Number of pages6
JournalMathematical Logic Quarterly
Volume61
Issue number4-5
DOIs
StatePublished - 1 Aug 2015

ASJC Scopus subject areas

  • Logic

Fingerprint

Dive into the research topics of 'Many symmetrically indivisible structures'. Together they form a unique fingerprint.

Cite this