Canonical extensions of posets.

DOI10.1007/S00012-014-0292-1MaRDI QIDQ466925zbMATH OpenOpenAlexFDO

Authors Wilmari Morton

Publication date 31 October 2014

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-014-0292-1

zbMATH Keywords

canonical extensionsextensions of mapsfilters of posetsposet extensions

Mathematics Subject Classification ID

Partial orders, general (06A06) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Other algebras related to logic (03G25) Complete lattices, completions (06B23) Algebraic aspects of posets (06A11)

Recommendations

• scientific article; zbMATH DE number 5289973
• _1-completions of a poset.
• Completely distributive completions of posets
• On completions of posets with operators
• Canonical extensions and canonicity via dcpo presentations

Cites work

• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• A completion for partially ordered Abelian groups
• A universal mapping property for a lattice completion
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Canonical extensions for congruential logics with the deduction theorem
• Completion and finite embeddability property for residuated ordered algebras.
• Completions of Partially Ordered Sets
• Constructive canonicity in non-classical logics
• Existence of prime ideals and ultrafilters in partially ordered sets
• Filters on posets and generalizations
• Ideals in Partially Ordered Sets
• Ideals in ordered sets, a unifying approach
• MacNeille completions and canonical extensions
• Monotone bounded distributive lattice expansions
• On canonicity of poset expansions
• On profinite completions and canonical extensions
• On the canonicity of Sahlqvist identities
• Relational semantics for full linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Standard completions for quasiordered sets
• The Completion of a Partially Ordered Set with Respect to a Polarization
• _1-completions of a poset.

Cited in

(15)

• scientific article; zbMATH DE number 5289973 (Why is no real title available?)
• Completely distributive completions of posets
• scientific article; zbMATH DE number 7243670 (Why is no real title available?)
• The free distributive semilattice extension of a distributive poset
• Embedding ordered sets into distributive lattices
• Extensions of posets with an antitone involution to residuated structures
• A spectral-style duality for distributive posets
• On weakly cut-stable maps
• Distributive and completely distributive lattice extensions of ordered sets
• Coalgebraic Completeness-via-Canonicity
• Canonical extensions and ultraproducts of polarities
• Amalgamating poset extensions and generating free lattices
• Posets isomorphic to their extensions
• _1-completions of a poset.
• Canonical extensions of locally compact frames

This page was built for publication: Canonical extensions of posets.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466925)