English

Transporting continuity properties from a poset to its subposets

Combinatorics 2022-05-02 v5 Logic in Computer Science

Abstract

We identify two key conditions that a subset AA of a poset PP may satisfy to guarantee the transfer of continuity properties from PP to AA. We then highlight practical cases where these key conditions are fulfilled. Along the way we are led to consider subsets of a given poset PP whose way-below relation is the restriction of the way-below relation of PP, which we call way-below preserving subposets. As an application, we show that every conditionally complete poset with the interpolation property contains a largest continuous way-below preserving subposet. Most of our results are expressed in the general setting of Z theory, where Z is a subset system.

Cite

@article{arxiv.1301.0999,
  title  = {Transporting continuity properties from a poset to its subposets},
  author = {Paul Poncet},
  journal= {arXiv preprint arXiv:1301.0999},
  year   = {2022}
}

Comments

42 pages. For the final publication, see https://www.sciencedirect.com/science/article/abs/pii/S0304397522001013

R2 v1 2026-06-21T23:04:34.405Z