Copies of Monomorphic Structures
Logic
2024-06-07 v2
Abstract
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.
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