Representation of Distributive Lattices by means of ordered Stone Spaces

DOI10.1112/blms/2.2.186zbMath0201.01802OpenAlexW2140351059WikidataQ63214623 ScholiaQ63214623MaRDI QIDQ5598363

Hilary A. Priestley

Publication date: 1970

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/blms/2.2.186

Related Items (only showing first 100 items - show all)

Current trends in substructural logics ⋮ The duality between lattice-ordered monoids and ordered topological spaces ⋮ Spectral sets ⋮ Join-continuous frames, Priestley's duality and biframes ⋮ Dualizing clones as models of Lawvere theories. ⋮ A short introduction to clones. ⋮ Algebraic functions in varieties generated by lattice-primal algebras ⋮ Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality ⋮ Two problems about perfect distributive lattices ⋮ On the axiomatisability of the dual of compact ordered spaces ⋮ A direct definition of distributive extensions of partially ordered algebras ⋮ Priestley-type dualities for partially ordered structures ⋮ De Morgan algebras are universal ⋮ The class of Kleene algebras satisfying an interpolation property and Nelson algebras ⋮ Universal varieties of quasi-Stone algebras ⋮ Forbidden configurations and subframe varieties ⋮ Stone duality for first order logic ⋮ Lax proper maps of locales ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ Finite pseudo-Boolean and topo-Boolean algebras not having an independent basis of quasi-identities ⋮ Coalgebraic representations of distributive lattices with operators ⋮ On essential variables of dual operations and the consequences for operations ⋮ Bases of quasiidentities of finite distributive p-algebras ⋮ Congruence relations on De Morgan algebras ⋮ Natural dualities for three classes of relational structures ⋮ Duality for modal \(\mu\)-logics ⋮ Yet another patch construction for continuous frames and connections to the Fell compactification ⋮ Funayama's theorem revisited ⋮ A non-commutative Priestley duality. ⋮ Distributive lattices with a dual homomorphic operation ⋮ A fresh perspective on canonical extensions for bounded lattices. ⋮ Using coloured ordered sets to study finite-level full dualities ⋮ Generalized topological representation for complete join-semilattices ⋮ Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Gödel spaces and perfect MV-algebras ⋮ A partially ordered space which is not a Priestley space ⋮ Representation of Lukasiewicz algebras by means of ordered Stone spaces ⋮ Fine hierarchies via Priestley duality ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Generalized Priestley quasi-orders ⋮ Distributive lattices with a generalized implication: topological duality ⋮ Dualities of Noetherian posets ⋮ Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \) ⋮ Distributivity of coproducts over products ⋮ Equational classes of distributive double p-algebras ⋮ Discrete dualities for double Stone algebras ⋮ Frontal operators in weak Heyting algebras ⋮ Priestley duality for bilattices ⋮ Topological proofs of some Rasiowa-Sikorski lemmas ⋮ Order-compactifications of totally ordered spaces: Revisited ⋮ Priestley rings and Priestley order-compactifications ⋮ Multisorted dualisability: change of base ⋮ Unities and negation: On the representation of finite lattices ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Exponents of lattice-ordered algebras ⋮ The axiomatizability of topological prevarieties ⋮ Dualizing clones into categories of topological spaces. ⋮ Belief functions on distributive lattices ⋮ Dimension of distributive lattices and universal spaces ⋮ Remarks on Priestley duality for distributive lattices ⋮ Quantifiers on distributive lattices ⋮ Counting relations on Ockham algebras. ⋮ Congruence uniform distributive lattices ⋮ On \(n \times m\)-valued Łukasiewicz-Moisil algebras ⋮ Duality for semilattice representations ⋮ Priestley duality and quotient lattices of many-valued algebras ⋮ Localic Priestley duality ⋮ Sheaf representation and Chinese Remainder Theorems ⋮ A topological representation of lattices ⋮ Cofinal stable logics ⋮ Profinite Heyting algebras ⋮ Specification of topological spaces by algebraic systems of continuous functions ⋮ On products of posets and coproducts of KM-algebras ⋮ Finite retracts of Priestley spaces and sectional coproductivity ⋮ Quasivarieties of distributive \(p\)-algebras ⋮ Algebras for Galois-style connections and their discrete duality ⋮ The poset of prime ideals of a distributive lattice ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ Topologische Darstellung von Verbänden ⋮ A duality for Boolean algebras with operators ⋮ A topological representation theory for lattices ⋮ Amalgamation in categories with concrete duals ⋮ The free p-algebra generated by a distributive lattice ⋮ Representation theorems for Lukasiewicz algebras ⋮ Comparison of MacNeille, canonical, and profinite completions ⋮ Nelson algebras through Heyting ones. I ⋮ The Priestley duality for Wajsberg algebras ⋮ Catalytic distributive lattices and compact zero-dimensional topological lattices ⋮ Priestley style duality for distributive meet-semilattices ⋮ Subalgebras of Heyting and De Morgan Heyting algebras ⋮ A Priestley sum of finite trees is acyclic ⋮ A poset with spectral Scott topology is a quasialgebraic domain ⋮ Isomorphisms of sums of countable bounded distributive lattices ⋮ Distributive double p-algebras whose congruence lattices are chains ⋮ A topological characterization of complete distributive lattices ⋮ Topological duality for distributive Ockham algebras ⋮ Embedding a free lattice in a lattice of quasivarieties of distributive lattices with pseudocomplementation ⋮ Endomorphisms and homomorphisms of Heyting algebras

This page was built for publication: Representation of Distributive Lattices by means of ordered Stone Spaces