\(\Delta_1\)-completions of a poset.

DOI10.1007/s11083-011-9226-0zbMath1317.06002OpenAlexW2098708076MaRDI QIDQ1943702

Mai Gehrke, Alessandra Palmigiano, Ramon Jansana

Publication date: 20 March 2013

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-011-9226-0

zbMATH Keywords

MacNeille completionidealsfilterscanonical extensionsclosure systemscompact completionscompletions of posets

Mathematics Subject Classification ID

Partial orders, general (06A06) Complete lattices, completions (06B23)

Related Items

Canonical extensions of bounded Archimedean vector lattices ⋮ Amalgamating poset extensions and generating free lattices ⋮ Topological duality and algebraic completions ⋮ A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras ⋮ B-frame duality ⋮ Canonical extensions of posets. ⋮ A spectral-style duality for distributive posets ⋮ Canonical extensions and profinite completions of semilattices and lattices ⋮ Unnamed Item ⋮ Canonical extensions and ultraproducts of polarities ⋮ Unnamed Item ⋮ A relational semantics for the logic of bounded lattices ⋮ Canonical extensions of locally compact frames ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ A completion for distributive nearlattices ⋮ On Hilbert algebras generated by the order

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Canonical extensions for congruential logics with the deduction theorem
• A Sahlqvist theorem for distributive modal logic
• Generalized Kripke frames
• Canonical extensions and relational representations of lattices with negation
• A topological representation of lattices
• A topological representation theory for lattices
• Duality for double quasioperator algebras via their canonical extensions
• Categorial characterization of the MacNeille completion
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions

This page was built for publication: \(\Delta_1\)-completions of a poset.