On Products of Elementarily indivisible Structures
نویسنده
چکیده
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 substructure M′ ⊆ M such that M′ ∼=M. Additionally, we say that M is symmetrically indivisible if M′ can be chosen to be symmetrically embedded inM (That is, every automorphism ofM′ can be can be extended to an automorphism of M), and that M is elementarily indivisible if M′ can be chosen to be an elementary substructure.
منابع مشابه
A pr 2 00 5 More on regular reduced products
The authors show, by means of a finitary version fin λ,D of the combinatorial principle b ∗ λ of [6], the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal λ, if Mi and Ni are elementarily equivalent models of a language of size ≤ λ, then the second player has a winning strategy in the Ehrenfeucht-Fräıssé...
متن کاملOn elementarily -homogeneous unary structures
Let L be a first-order language with equality and let U be an L-structure of cardinality . If @0 , then we say that U is elementarily -homogeneous iff any two substructures of cardinality are elementarily equivalent, and -homogeneous iff any two substructures of cardinality are isomorphic. In this note, we classify the elementarily -homogeneous structures .A; f / where f W A! A is a function an...
متن کاملMore on regular reduced products
The authors show, by means of a finitary version ¤ λ,D of the combinatorial principle ¤ ∗ λ of [7], the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal λ, if Mi and Ni are elementarily equivalent models of a language of size ≤ λ, then the second player has a winning strategy in the Ehrenfeucht-Fräıssé g...
متن کاملAge and weak indivisibility
Let H be a countable infinite homogeneous relational structure. If H is indivisible then it is weakly indivisible and if it is weakly indivisible then it is age indivisible. There are examples of countable infinite homogeneous structures which are weakly indivisible but not indivisible. It is a natural question to ask for examples of countable age indivisible homogenous structures which are not...
متن کاملElementarily equivalent structures for topological languages over regions in Euclidean space
We prove that the class of rational polyhedra and the class of topologically regular regions definable in an o-minimal structure over the reals are each elementarily equivalent to the class of polyhedra for topological languages.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 81 شماره
صفحات -
تاریخ انتشار 2016