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 language | English |
|---|---|
| Pages (from-to) | 341-346 |
| Number of pages | 6 |
| Journal | Mathematical Logic Quarterly |
| Volume | 61 |
| Issue number | 4-5 |
| DOIs | |
| State | Published - 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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver