Choice-free dualities for domains

DOI10.1007/S10485-016-9444-0zbMath1386.06007OpenAlexW2509246741MaRDI QIDQ328639

Marcel Erné

Publication date: 20 October 2016

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-016-9444-0

zbMATH Keywords

dualityalgebraic domainchoice principle\((\zeta)\)-basis\((\zeta)\)-continuous domain\((\zeta)\)-domaincompact domainopen filtersupercompact spacesupercontinuous lattice

Mathematics Subject Classification ID

Complete distributivity (06D10) Lattices and duality (06D50) Continuous lattices and posets, applications (06B35) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (2)

The strength of prime separation, sobriety, and compactness theorems ⋮ Web spaces and worldwide web spaces: topological aspects of domain theory

Cites Work

• The category of Z-continuous posets
• Regularity and complete distributivity
• Generalized continuous and hypercontinuous lattices
• The Dedekind-MacNeille completion as a reflector
• General Stone duality.
• The strength of prime separation, sobriety, and compactness theorems
• Infinite distributive laws versus local connectedness and compactness properties
• Choiceless, pointless, but not useless: dualities for preframes
• Frames and Locales
• The finiteness of compact Boolean algebras
• Finiteness conditions and distributive laws for Boolean algebras
• Completion of a Construction of Johnstone
• Continuous Lattices and Domains
• Strongly Connected Sets in Topology
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• Axiom of choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Choice-free dualities for domains