論文

査読有り
2018年

A GENERALIZATION OF A THEOREM OF HUREWICZ FOR QUASI-POLISH SPACES

LOGICAL METHODS IN COMPUTER SCIENCE
  • Matthew de Brecht

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.

リンク情報
DOI
https://doi.org/10.23638/LMCS-14(1:13)2018
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000426512000016&DestApp=WOS_CPL
ID情報
  • DOI : 10.23638/LMCS-14(1:13)2018
  • ISSN : 1860-5974
  • Web of Science ID : WOS:000426512000016

エクスポート
BibTeX RIS