Continuous prequantale models of \(T_1\) topological semigroups

DOI10.1016/J.ENTCS.2019.07.019OpenAlexW2971628857WikidataQ113317445 ScholiaQ113317445MaRDI QIDQ2130606

Hui Li, Qing-Guo Li, Xiang-Nan Zhou

Publication date: 25 April 2022

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

zbMATH Keywords

topological semigroupScott topologyprequantaleprequantale modelstable ordered semigroup

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Algebraic models for \(T_1\)-spaces
• Total objects of domains
• Any \(T_1\) space has a continuous poset model
• A computational model for metric spaces
• Ideal models of spaces.
• The regular spaces with countably based models.
• Order environments of topological spaces
• Bounded complete models of topological spaces
• Spaces of maximal points
• Directed complete poset models of T₁ spaces
• Topological semigroups and their prequantale models

This page was built for publication: Continuous prequantale models of \(T_1\) topological semigroups