$\downarrow$-posets
Logic
2016-09-16 v1
Abstract
We investigate a certain class of posets arising from semilattice actions. Let be a semilattice with identity. Let act on a set . For put iff there is some with . Then is a poset. Let's call the posets that arise in this way -posets. We give a reasonable second order characterization of -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