\(s_2\)-quasialgebraic posets

DOI10.1016/j.entcs.2019.07.031OpenAlexW2971657328WikidataQ113317433 ScholiaQ113317433MaRDI QIDQ2130619

Wenfeng Li, Wenfeng Zhang, Xiao-Quan Xu

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.07.031

zbMATH Keywords

\(\sigma_2\)-topology\(s_2\)-algebraic poset\(s_2\)-quasialgebraic posetmeet \(s_2\)-continuous poset

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized continuous posets and a new Cartesian closed category
• Quasicontinuity of posets via Scott topology and sobrification
• Quasicontinuous posets
• Topological representations of distributive hypercontinuous lattices
• A poset with spectral Scott topology is a quasialgebraic domain
• Generalized continuous and hypercontinuous lattices
• The Dedekind-MacNeille completion as a reflector
• Topology, domain theory and theoretical computer science
• Categories of locally hypercompact spaces and quasicontinuous posets
• \(s_2\)-quasicontinuous posets.
• Infinite distributive laws versus local connectedness and compactness properties
• Priestley Spaces
• Continuous Lattices and Domains
• An upper power domain construction in terms of strongly compact sets

This page was built for publication: \(s_2\)-quasialgebraic posets