2018年
A GENERALIZATION OF A THEOREM OF HUREWICZ FOR QUASI-POLISH SPACES
LOGICAL METHODS IN COMPUTER SCIENCE
- 巻
- 14
- 号
- 1
- 開始ページ
- 1
- 終了ページ
- 18
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.23638/LMCS-14(1:13)2018
- 出版者・発行元
- LOGICAL METHODS COMPUTER SCIENCE E V
We identify four countable topological spaces S-2, S-1, S-D, and S-0 which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the T-2, T-1, T-D, and T-0-separation axioms. S-2 is the space of rationals, S-1 is the natural numbers with the cofinite topology, SD is an infinite chain without a top element, and So is the set of finite sequences of natural numbers with the lower topology induced by the prefix ordering. Our main result is a generalization of Hurewicz's theorem showing that a co-analytic subset of a quasi-Polish space is either quasi-Polish or else contains a countable Pi(0)(2)-subset homeomorphic to one of these four spaces.
- リンク情報
- ID情報
-
- DOI : 10.23638/LMCS-14(1:13)2018
- ISSN : 1860-5974
- Web of Science ID : WOS:000426512000016