首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Many symmetrically indivisible structures
Authors:Nadav Meir
Institution:Department of Mathematics, Ben‐Gurion University of the Negev, Be'er Sheva, Israel
Abstract:A structure urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0001 in a first‐order language urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0002 is indivisible if for every colouring of its universe M in two colours, there is a monochromatic urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0003 such that urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0004. Additionally, we say that urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0005 is symmetrically indivisible if urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0006 can be chosen to be symmetrically embedded in urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0007 (that is, every automorphism of urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0008 can be extended to an automorphism of urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0009). In the following paper we give a general method for constructing new symmetrically indivisible structures out of existing ones. Using this method, we construct urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0010 many non‐isomorphic symmetrically indivisible countable structures in given (elementary) classes and answer negatively the following question from 6 : Let urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0011 be a symmetrically indivisible structure in a language urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0012. Let urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0013. Is urn:x-wiley:09425616:media:malq201400091:malq201400091-math-0014 symmetrically indivisible?
Keywords:
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号