加载中…
The poset of copies of a relational structure is the partial order , where . Investigating the classification of structures related to isomorphism of the Boolean completions we extend the results concerning linear orders to the class of structures definable in linear orders by first-order -formulas (monomorphic structures). So, holds for some linear order , if is definable in a -scattered (in particular, countable) or additively indecomposable linear order. For example, , where is the Sacks forcing, whenever is a non-constant structure chainable by a real order type containing a perfect set.

生成讲解博客的中文版本

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