×

A note on coherence of dcpos. (English) Zbl 1355.54013

It is proven that a well-filtered directed-complete partial ordered set (dcpo) \(L\) is coherent in its Scott topology if and only if for every \(x,y\in L\), \(\uparrow{x} \,\cap\uparrow y\) is compact in the Scott topology. This result is then used to prove that a well-filtered dcpo \(L\) is Lawson-compact if and only if it is patch-compact if and only if \(L\) is finitely generated and \(\uparrow x \cap\uparrow y\) is compact in the Scott topology for all \(x,y\in L\).

MSC:

54B20 Hyperspaces in general topology
06B35 Continuous lattices and posets, applications
06F30 Ordered topological structures

References:

[1] Abramsky, S.; Jung, A., Domain theory, (Abramsky, S.; Gabbay, D. M.; Maibaum, T. S.E., Semantic Structures. Semantic Structures, Handbook of Logic in Computer Science, vol. 3 (1994), Clarendon Press), 1-168 · Zbl 0829.68111
[2] Gierz, G.; Hofmann, K. H., On complete lattices \(L\) for which \(O(L)\) is continuous - a lattice theoretical characterisation of CS (August 1977), available at
[3] Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S., Continuous Lattices and Domains, Encyclopedia of Mathematics and Its Applications, vol. 93 (2003), Cambridge University Press · Zbl 1088.06001
[4] Goubault-Larrecq, J., Non-Hausdorff Topology and Domain Theory, New Mathematical Monographs, vol. 22 (2013), Cambridge University Press · Zbl 1280.54002
[5] Jung, A., Cartesian Closed Categories of Domains, CWI Tracts, vol. 66 (1989), Centrum voor Wiskunde en Informatica: Centrum voor Wiskunde en Informatica Amsterdam, 107 pp · Zbl 0719.06004
[6] Jung, A., The classification of continuous domains, (Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science (1990), IEEE Computer Society Press), 35-40 · Zbl 0825.68599
[7] Kou, Hui, \(U_k\)-admitting dcpo’s need not be sober, (Keimel, K.; Zhang, G.-Q.; Liu, Y.-M.; Chen, Y.-X., Domain and Processes. Domain and Processes, Semantic Structures in Computation, vol. 1 (2001), Kluwer Academic Publishers), 41-50
[8] Kou, Hui; Liu, Ying-Ming; Luo, Mao-Kang, On meet-continuous dcpos, (Zhang, G.; Lawson, J.; Liu, Y.; Luo, M., Domain Theory, Logic and Computation. Domain Theory, Logic and Computation, Semantic Structures in Computation, vol. 3 (2003), Springer: Springer Netherlands), 117-135
[9] Lawson, J., The upper interval topology, Property M, and compactness, (Edalat, Abbas; Jung, Achim; Keimel, Klaus; Kwiatkowska, Marta, Comprox III, Third Workshop on Computation and Approximation. Comprox III, Third Workshop on Computation and Approximation, Electronic Notes in Theoretical Computer Science, vol. 13 (1998), Elsevier Science Publishers), 158-172
[10] Schalk, A., Algebras for generalized power constructions (1993), Technische Hochschule Darmstadt, 166 pp · Zbl 0900.68275
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.