Consistent Hoare powerdomains.
type: Item
instance of: scholarly article
title: Consistent Hoare powerdomains.
zbMATH Open document ID: 1306.06004
author: Yayan Yuan
author: Hui Kou
published in: Topology and its Applications
publication date: 2014-11-14T00:00:00Z
review text: Powerdomains are well known structures in domain theory. The Hoare powerdomain is the free inflationary semilattice over a continuous domain with the continuous Scott join operation. In applications the join operation is often partial, giving so called consistent joins rather than all joins. In that context the authors define the consistent Hoare powerdomain, a free algebra over a continuous domain with Scott continuous consistent joins. Briefly introducing the very few concepts needed for the construction the authors present the consistent Hoare powerdomain as the set \(R\Gamma_C(L)\); the set of nonempty relatively consistent Scott closed sets of a continuous domain \(L\), and show that if \(L\) is algebraic, then so is \(R\Gamma_C(L)\).
reviewed by: Ittay Weiss
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 54D05
zbMATH DE Number: 6369779
zbMATH Keywords: domain theory
zbMATH Keywords: continuous lattices
zbMATH Keywords: consistent meets
zbMATH Keywords: free dcpo-algebras
zbMATH Keywords: consistent Hoare powerdomains
zbMATH Keywords: continuous directed complete posets
zbMATH Keywords: consistent powerdomains
MaRDI profile type: Publication
full work available at URL: j.topol.2014.09.002
OpenAlex ID: W1997472710
cites work: Q4843177
cites work: Q4222034
cites work: Continuous Lattices and Domains
cites work: Characterising FS domains by means of power domains
cites work: Power domain constructions
cites work: Stable power domains
cites work: A Powerdomain Construction
cites work: Q4195918
cites work: Q3316563
DOI: 10.1016/J.TOPOL.2014.09.002
description: scientific article; zbMATH DE number 6369779