๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Continuity of posets via Scott topology and sobrification

โœ Scribed by Luoshan Xu


Book ID
108286234
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
108 KB
Volume
153
Category
Article
ISSN
0166-8641

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Order topology and bi-Scott topology on
โœ Bin Zhao; Kai Yun Wang ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Institute of Mathematics, Chinese Academy of Scien ๐ŸŒ English โš– 178 KB
Strictly complete regularity of the Laws
โœ Xiao-Quan Xu ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 63 KB

For a continuous poset P , let ฯ‰(P ) and ฮป(P ) be the lower topology and the Lawson topology on P , respectively. In this paper, we constructively prove in the set theory ZFDC ฯ‰ (the theory obtained by adjoining the axiom of ฯ‰ dependent choices to the Zermelo-Fraenkel set theory) that if all lower c