Ordered Topological Spaces and the Representation of Distributive Lattices
From MaRDI portal
Publication:4085773
DOI10.1112/plms/s3-24.3.507zbMath0323.06011OpenAlexW2061686800WikidataQ63214622 ScholiaQ63214622MaRDI QIDQ4085773
Publication date: 1972
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s3-24.3.507
Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Structure and representation theory of distributive lattices (06D05) Topological representations of algebraic systems (54H10)
Related Items
Fundamental duality of abstract categories and its applications ⋮ Join-continuous frames, Priestley's duality and biframes ⋮ A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups ⋮ Algebraic functions in varieties generated by lattice-primal algebras ⋮ 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 ⋮ Amalgamation in varieties of distributive double \(p\)-algebras ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ On a result of Birkhoff ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ Forbidden configurations and subframe varieties ⋮ Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras ⋮ Finitely generated relatively universal varieties of Heyting algebras ⋮ Free \(Q\)-distributive lattices ⋮ Semi-De Morgan algebras ⋮ A simplified duality for implicative lattices and \(l\)-groups ⋮ Distributive lattices with an operator ⋮ Semilattice-based dualities ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Natural dualities for three classes of relational structures ⋮ Funayama's theorem revisited ⋮ Subdirectly irreducible IKt-algebras ⋮ Restricted Priestley dualities and discriminator varieties ⋮ Finitely generated free modular ortholattices. I ⋮ A non-commutative Priestley duality. ⋮ Convexity and quasi-uniformizability of closed preordered spaces ⋮ Using coloured ordered sets to study finite-level full dualities ⋮ Generalized topological representation for complete join-semilattices ⋮ Insertion and extension theorems for lattice-valued functions on preordered topological spaces ⋮ A partially ordered space which is not a Priestley space ⋮ Natural duality, modality, and coalgebra ⋮ Esakia style duality for implicative semilattices ⋮ Representation of Lukasiewicz algebras by means of ordered Stone spaces ⋮ Normally preordered spaces and utilities ⋮ Generalized Priestley quasi-orders ⋮ Distributive lattices with a generalized implication: topological duality ⋮ Quasi-pseudo-metrization of topological preordered spaces ⋮ Distributivity of coproducts over products ⋮ Continuous multi-utility representations of preorders ⋮ Dualisability of partial unars ⋮ Priestley rings and Priestley order-compactifications ⋮ General Stone duality. ⋮ Unities and negation: On the representation of finite lattices ⋮ Exponents of lattice-ordered algebras ⋮ Towards a probability theory for product logic: states, integral representation and reasoning ⋮ Commuting double Ockham algebras ⋮ Functions on distributive lattices with the congruence substitution property: Some problems of Grätzer from 1964 ⋮ Dimension of distributive lattices and universal spaces ⋮ Remarks on Priestley duality for distributive lattices ⋮ Quantifiers on distributive lattices ⋮ The category of finitary biframes as the category of pointfree bispaces ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ Counting relations on Ockham algebras. ⋮ On \(n \times m\)-valued Łukasiewicz-Moisil algebras ⋮ Duality for semilattice representations ⋮ Sheaves and duality ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ On subset families that form a continuous lattice ⋮ Priestley duality and quotient lattices of many-valued algebras ⋮ Cofinal stable logics ⋮ Profinite Heyting algebras ⋮ Specification of topological spaces by algebraic systems of continuous functions ⋮ Pairwise \(k\)-semi-stratifiable bispaces and topological ordered spaces ⋮ Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi ⋮ Finite retracts of Priestley spaces and sectional coproductivity ⋮ Irreducible equivalence relations, Gleason spaces, and de Vries duality ⋮ Topologische Darstellung von Verbänden ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ Infinite distributivity in certain function lattices ⋮ A new approach to Hausdorff space theory via the soft sets ⋮ A topological representation theory for lattices ⋮ Amalgamation in categories with concrete duals ⋮ The free p-algebra generated by a distributive lattice ⋮ The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications ⋮ Ockham algebras with balanced double pseudocomplementation ⋮ Embedding ordered topological spaces into topological semilattices ⋮ Nelson algebras through Heyting ones. I ⋮ The Priestley duality for Wajsberg algebras ⋮ Priestley duality for order-preserving maps into distributive lattices ⋮ Priestley style duality for distributive meet-semilattices ⋮ Subalgebras of Heyting and De Morgan Heyting algebras ⋮ A Priestley sum of finite trees is acyclic ⋮ Topological ordered \(C\)- (resp. \(I\)-)spaces and generalized metric spaces ⋮ Distributive lattices with a dual homomorphic operation. II ⋮ Prime spectra of lattice-ordered abelian groups ⋮ Isomorphisms of sums of countable bounded distributive lattices ⋮ A note on representable posets ⋮ Distributive double p-algebras whose congruence lattices are chains ⋮ A topological characterization of complete distributive lattices ⋮ Topological duality for distributive Ockham algebras ⋮ Syntopogenous spaces with preorder. II: Continuity ⋮ Endomorphisms and homomorphisms of Heyting algebras ⋮ Distributive laws for concept lattices ⋮ A dual adjointness on partially ordered topological spaces ⋮ Completely regular ordered spaces ⋮ Syntopogenous spaces with preorder. IV: Regularity, normality ⋮ Three dual ontologies ⋮ A generalization of the duality compactness theorem ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Subordinations on bounded distributive lattices ⋮ Ordered locales ⋮ Priestley-style duality for DN-algebras ⋮ A groupoid approach to regular \(\ast \)-semigroups ⋮ Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A representation theorem for infinite fuzzy distributive lattices ⋮ Priestley duality for MV-algebras and beyond ⋮ Modules with fusion and implication based over distributive lattices: representation and duality ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Unnamed Item ⋮ Kleene algebras are almost universal ⋮ Unnamed Item ⋮ Relational representations of algebraic lattices and their applications ⋮ Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Expanding Belnap 2: the dual category in depth ⋮ A four for the price of one duality principle for distributive spaces ⋮ Changing a Semantics: Opportunism or Courage? ⋮ On congruences of double p-algebras with nonvoid core ⋮ Complete congruences on topologies and down-set lattices ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Tame parts of free summands in coproducts of Priestley spaces ⋮ Congruence permutable extensions of distributive doublep-algebras ⋮ On the investigations of Ivan Prodanov in the theory of abstract spectra ⋮ Categorical universality of regular double p-algebras ⋮ Piggyback-Dualitäten ⋮ Varieties of pseudocomplemented Kleene algebras ⋮ A frame-theoretic perspective on Esakia duality ⋮ A duality for involutive bisemilattices ⋮ Remarks on hyperspaces for Priestley spaces ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ B-frame duality ⋮ The subalgebra lattice of a Heyting algebra ⋮ Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras) ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ Noncommutative frames ⋮ Lattice subordinations and Priestley duality. ⋮ Extremal Prime Filters and Universality of Some Categories ⋮ Web spaces and worldwide web spaces: topological aspects of domain theory ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ De Morgan Heyting algebras satisfying the identityxn(′*)≈x(n+1)(′*) ⋮ Transferral of entailment in duality theory: Dualisability ⋮ More on configurations in Priestley spaces, and some new problems ⋮ Bitopological duality for distributive lattices and Heyting algebras ⋮ Convergence and quantale-enriched categories ⋮ Unnamed Item ⋮ Free products of bounded distributive lattices ⋮ Priestley's duality from Stone's ⋮ On some small varieties of distributive Ockham algebras ⋮ Injectives in some small varieties of ockham algebras ⋮ The regular-locally compact coreflection of a stably locally compact locale ⋮ Subdirectly irreducible distributive double p-algebras ⋮ Linear Heyting algebras with a quantifier ⋮ The categorical equivalence between algebraic domains and F-augmented closure spaces. ⋮ Unnamed Item ⋮ ON LATTICES OF CONTINUOUS FUNCTIONS ⋮ Unnamed Item ⋮ Powers of ordered sets ⋮ On chains in \(H\)-closed topological pospaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hausdorff coalgebras ⋮ Extended ockham algebras ⋮ Congruence permutable symmetric extended De Morgan algebras ⋮ Topological geometrical categories ⋮ Unnamed Item ⋮ Priestley Spaces ⋮ Prelinear Hilbert algebras ⋮ Isomorphism Universal Varieties of Heyting Algebras ⋮ On selected developments in the theory of natural dualities ⋮ Unnamed Item ⋮ Profinite Monads, Profinite Equations, and Reiterman’s Theorem ⋮ Endomorphism monoids of distributive double p-algebras ⋮ When is the frame of nuclei spatial: a new approach ⋮ Weak-quasi-Stone algebras ⋮ Remarks on affine complete distributive lattices ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Tensor products of distributive lattices and their Priestley duals ⋮ A new topological duality for n × m-valued Łukasiewicz–Moisil algebras ⋮ Sobrification and bicompletion of totally bounded quasi-uniform spaces ⋮ Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ A topological approach to MTL-algebras ⋮ The exact completion for regular categories enriched in posets ⋮ Duality theory for enriched Priestley spaces ⋮ Characterization of metrizable Esakia spaces via some forbidden configurations ⋮ To the spectral theory of partially ordered sets ⋮ Distributive Ockham algebras: free algebras and injectivity ⋮ Quasi-modal lattices ⋮ A representation theory for the variety generated by the triangle ⋮ Pseudocomplemented distributive lattices with small endomorphism monoids ⋮ Easkia Duality and Its Extensions ⋮ Hofmann-Mislove through the lenses of Priestley ⋮ Order convergence and compactness ⋮ Unnamed Item ⋮ A representation of continuous lattices based on closure spaces ⋮ Dualities for modal algebras from the point of view of triples ⋮ Remarks on affine complete distributive lattices ⋮ Universal varieties of distributive double p-algebras ⋮ Distributive Lattices with a Negation Operator ⋮ St. Alasdair on Lattices Everywhere ⋮ Ockham Algebras—An Urquhart Legacy ⋮ Nondualisable semigroups ⋮ Unnamed Item
