
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 $��$ and $��$ a poset is said to be $(��,��)$-representable if an embedding into a field of sets exists that preserves meets of sets smaller than $��$ and joins of sets smaller than $��$. We show using an ultraproduct/ultraroot argument that when $2\leq��,��\leq ��$ the class of $(��,��)$-representable posets is elementary, but does not have a finite axiomatization in the case where either $��$ or $��=��$. We also show that the classes of posets with representations preserving either countable or all meets and joins are pseudoelementary.
The revised version adds a note clearing up a loose end from the background discussion in the introduction
06A06, FOS: Mathematics, Mathematics - Logic, Logic (math.LO)
06A06, FOS: Mathematics, Mathematics - Logic, Logic (math.LO)
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
