dcpo上一致Hoare幂域的刻画
计算机科学中的逻辑
2018-09-05 v1
摘要
已有研究表明，对dcpo P，\Gamma_c(P)在\Gamma(P)中的Scott闭包是P的一致Hoare幂域，其中\Gamma_c(P)是P的非空、一致且Scott闭子集族，\Gamma(P)是P的所有非空Scott闭子集的集合。本文通过引入\vee-存在集的概念，给出一致Hoare幂域的直接刻画：dcpo P的所有\vee-存在Scott闭子集的集合恰为P的一致Hoare幂域。我们还针对每个dcpo-\vee-半格引入F-Scott闭集的概念。我们证明dcpo P的Scott闭集格同构于P的一致Hoare幂域的所有F-Scott闭集族。
引用
@article{arxiv.1809.00772,
title = {A characterization of the consistent Hoare powerdomains over dcpos},
author = {Zhongxi Zhang and Qingguo Li and Nan Zhang},
journal= {arXiv preprint arXiv:1809.00772},
year = {2018}
}
备注
6 pages, a direct characterization