English

Copies of Monomorphic Structures

Logic 2024-06-07 v2

Abstract

The poset of copies of a relational structure X{\mathbb X} is the partial order P(X),\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle, where P(X)={YX:YX}{\mathbb P} ({\mathbb X})=\{ Y\subset X: {\mathbb Y} \cong {\mathbb X}\}. Investigating the classification of structures related to isomorphism of the Boolean completions BX=ro(sq(P(X))){\mathbb B}_{\mathbb X} ={\mathop{\rm ro}\nolimits}({\mathop{\rm sq}\nolimits} ({\mathbb P} ({\mathbb X}) )) we extend the results concerning linear orders to the class of structures definable in linear orders by first-order Σ0\Sigma _0-formulas (monomorphic structures). So, BXBL{\mathbb B}_{\mathbb X} \cong {\mathbb B}_{\mathbb L} holds for some linear order L{\mathbb L}, if X{\mathbb X} is definable in a σ\sigma-scattered (in particular, countable) or additively indecomposable linear order. For example, BXro(S){\mathbb B}_{\mathbb X} \cong {\mathop{\rm ro}\nolimits}({\mathbb S} ), where S{\mathbb S} is the Sacks forcing, whenever X{\mathbb X} is a non-constant structure chainable by a real order type containing a perfect set.

Keywords

Cite

@article{arxiv.2401.00550,
  title  = {Copies of Monomorphic Structures},
  author = {Miloš S. Kurilić},
  journal= {arXiv preprint arXiv:2401.00550},
  year   = {2024}
}

Comments

18 pages

R2 v1 2026-06-28T14:05:39.736Z