pith. sign in

arxiv: 1607.04990 · v3 · pith:SK6PPB25new · submitted 2016-07-18 · 🧮 math.LO

Non-elementary classes of representable posets

classification 🧮 math.LO
keywords posetsrepresentablealphabetaexistingomegaaxiomatizedcannot
0
0 comments X
read the original abstract

A poset is $(\omega,C)$-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 $(\omega,C)$-representable posets cannot be axiomatized in first order logic using the standard language of posets. We generalize this result to $(\alpha,\beta)$-representable posets for certain values of $\alpha$ and $\beta$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.