Non-elementary classes of representable posets
Logic
2017-06-02 v3
Abstract
A poset is -representable if it can be embedded into a field of sets in such a way that all existing joins, and all existing \emph{finite} meets are preserved. We show that the class of -representable posets cannot be axiomatized in first order logic using the standard language of posets. We generalize this result to -representable posets for certain values of and .
Keywords
Cite
@article{arxiv.1607.04990,
title = {Non-elementary classes of representable posets},
author = {Rob Egrot},
journal= {arXiv preprint arXiv:1607.04990},
year = {2017}
}
Comments
This revised version edits and expands some of the explanatory passages, primarily in the introduction but also elsewhere, and also lightly edits the references. Some proofs have been shortened, though the key ingredients remain the same. The main results are unchanged. This paper is to appear in Proceedings of the AMS. The latest revision corrects some typos