English

Representable posets

Logic 2016-08-31 v2

Abstract

A poset is representable if it can be embedded in a field of sets in such a way that existing finite meets and joins become intersections and unions respectively (we say finite meets and joins are preserved). More generally, for cardinals α\alpha and β\beta a poset is said to be (α,β)(\alpha,\beta)-representable if an embedding into a field of sets exists that preserves meets of sets smaller than α\alpha and joins of sets smaller than β\beta. We show using an ultraproduct/ultraroot argument that when 2α,βω2\leq\alpha,\beta\leq \omega the class of (α,β)(\alpha,\beta)-representable posets is elementary, but does not have a finite axiomatization in the case where either α\alpha or β=ω\beta=\omega. We also show that the classes of posets with representations preserving either countable or all meets and joins are pseudoelementary.

Keywords

Cite

@article{arxiv.1603.04972,
  title  = {Representable posets},
  author = {Rob Egrot},
  journal= {arXiv preprint arXiv:1603.04972},
  year   = {2016}
}

Comments

The revised version adds a note clearing up a loose end from the background discussion in the introduction

R2 v1 2026-06-22T13:12:01.109Z