References & Citations
Mathematics > Logic
Title: Recursive axiomatizations for representable posets
(Submitted on 21 Jun 2018 (v1), last revised 31 Jan 2019 (this version, v2))
Abstract: We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of specified countable cardinalities correspond to intersections and unions respectively.
Submission history
From: Robert Egrot [view email][v1] Thu, 21 Jun 2018 17:17:52 GMT (11kb)
[v2] Thu, 31 Jan 2019 04:45:40 GMT (12kb)
Link back to: arXiv, form interface, contact.