Abstract
A pseudo ordered set (X,≤) is a set X with a binary relation ≤ that is reflexive and antisymmetric. We associate to a pseudo ordered set X, a partially ordered set Γ(X) called the covering poset. Taking any completion (C,f) of the covering poset Γ(X), and a special equivalence relation 𝜃 on this completion, yields a completion C/𝜃 of the pseudo ordered set X. The case when (C,f) is the MacNeille completion of Γ(X) gives the pseudo MacNeille completion of X.
Similar content being viewed by others
References
Banaschewski, B.: Hüllensysteme und Erweiterungen von Quasi-Ordnungen. Z. Math. Logik Grund. Math. 2, 35–46 (1956)
Cruz, M.: Completions of Pseudo Ordered Sets, Ph.D. Thesis, New Mexico State University, Las Cruces (2019)
Fried, E.: Tournaments and non-associative lattices. Ann. Univ. Sci. Budapest Eotvos Sect. Math. 13, 151–164 (1970)
Fried, E., Grätzer, G.: Partial and free weakly associative lattices. Houston J. Math. 2(4), 501–512 (1976)
Grätzer, G.: General Lattice Theory. Academic Press, New York (1978)
Gladstien, K.: A characterization of complete trellises of finite length. Algebra Universalis 3, 341–344 (1973)
Harding, J.: Completions of ordered algebraic structures: a survey. In: Ono, H, et al (eds.) Proceedings of the international workshop on interval/probabilistic uncertainty and non-classical logics. Advances in Soft Computing, vol. 46, pp 231–244. Springer (2008)
Parameshwara Bhatta, S., Shashirekha, H.: A characterization of completeness for trellises. Algebra Univers. 44, 305–308 (2000)
Parameshwara Bhatta, S., Shashirekha, H.: Some characterizations of completeness for trellises in terms of joins of cycles. Czech. Math. J. 54(1), 267–272 (2004)
Schmidt, J.: Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge. Archiv. Math. 7, 241–249 (1956)
Skala, H. L.: Trellis theory. Algebra Univers. 1, 218–233 (1971)
Skala, H.: Trellis Theory. Memoirs of the AMS, 121 (1972)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Cruz-Quinones, M.D., Harding, J. Completions of Pseudo Ordered Sets. Order 39, 95–111 (2022). https://doi.org/10.1007/s11083-021-09565-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-021-09565-4