A note on coherence of dcpos

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

External organisations

  • Hunan University of Humanities, Science and Technology

Abstract

In this note, we prove that a well-filtered dcpo L is coherent in its Scott topology if and only if for every x,y∈L, ↑x∩↑y is compact in the Scott topology. We use this result 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 ↑x∩↑y is compact in the Scott topology for every x,y∈L.

Details

Original languageEnglish
Pages (from-to)235-238
Number of pages4
JournalTopology and its Applications
Volume209
Early online date23 Jun 2016
Publication statusPublished - 15 Aug 2016