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

Order topology and bi-Scott topology on a poset

โœ Scribed by Bin Zhao; Kai Yun Wang


Publisher
Institute of Mathematics, Chinese Academy of Sciences and Chinese Mathematical Society
Year
2011
Tongue
English
Weight
178 KB
Volume
27
Category
Article
ISSN
1439-7617

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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