English

$\downarrow$-posets

Logic 2016-09-16 v1

Abstract

We investigate a certain class of posets arising from semilattice actions. Let SS be a semilattice with identity. Let SS act on a set CC. For c,dCc,d\in C put cdc\leq d iff there is some sSs\in S with ds=cds=c. Then (C,)(C,\leq) is a poset. Let's call the posets that arise in this way \downarrow-posets. We give a reasonable second order characterization of \downarrow-posets and show that there is no first order characterization.

Keywords

Cite

@article{arxiv.1609.04440,
  title  = {$\downarrow$-posets},
  author = {Lawrence Valby},
  journal= {arXiv preprint arXiv:1609.04440},
  year   = {2016}
}

Comments

7 pages, 4 figures