Join-completions of partially ordered algebras

Annals of Pure and Applied Logic 171 (10):102842 (2020)
  Copy   BIBTEX

Abstract

We present a systematic study of join-extensions and join-completions of partially ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and constructions in the theory of ordered structures ranging from properties of the Dedekind–MacNeille completion to the proof of the finite embeddability property for a number of varieties of lattice-ordered algebras.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Non-Commutative Logical Algebras and Algebraic Quantales.Wolfgang Rump & Yi Chuan Yang - 2014 - Annals of Pure and Applied Logic 165 (2):759-785.
Partially Ordered Connectives.Gabriel Sandu & Jouko Väänänen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372.
Meet-Completions and Ordered Domain Algebras.R. Egrot & Robin Hirsch - 2015 - Logic Journal of the IGPL 23 (4):584-600.
Advances in the Theory of μŁΠ Algebras.Enrico Marchioni & Luca Spada - 2011 - Logic Journal of the IGPL 19 (3):476-489.
Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
Lattice Ordered O -Minimal Structures.Carlo Toffalori - 1998 - Notre Dame Journal of Formal Logic 39 (4):447-463.
Generalizations of Boolean Products for Lattice-Ordered Algebras.Peter Jipsen - 2010 - Annals of Pure and Applied Logic 161 (2):228-234.
Definable Sets in Stone Algebras.Guohua Wu, Niandong Shi & Lei Chen - 2016 - Archive for Mathematical Logic 55 (5-6):749-757.
Constructive Completions of Ordered Sets, Groups and Fields.Erik Palmgren - 2005 - Annals of Pure and Applied Logic 135 (1-3):243-262.
On Birkhoff’s Common Abstraction Problem.F. Paoli & C. Tsinakis - 2012 - Studia Logica 100 (6):1079-1105.
Semi-Post Algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.

Analytics

Added to PP
2020-05-24

Downloads
5 (#1,160,450)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?