Publication: Representable posets
Issued Date
2016-01-13
Resource Type
ISSN
15708683
Other identifier(s)
2-s2.0-84992304894
Rights
Mahidol University
Rights Holder(s)
SCOPUS
Bibliographic Citation
Journal of Applied Logic. Vol.16, (2016), 60-71
Suggested Citation
Rob Egrot Representable posets. Journal of Applied Logic. Vol.16, (2016), 60-71. doi:10.1016/j.jal.2016.03.003 Retrieved from: https://repository.li.mahidol.ac.th/handle/20.500.14594/40954
Research Projects
Organizational Units
Authors
Journal Issue
Thesis
Title
Representable posets
Author(s)
Other Contributor(s)
Abstract
© 2016 Elsevier B.V. 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≤α,β≤ω 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.