論文

査読有り
2020年

Overt choice

COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE
  • Matthew de Brecht
  • ,
  • Arno Pauly
  • ,
  • Matthias Schroeder

9
3-4
開始ページ
169
終了ページ
191
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.3233/COM-190253
出版者・発行元
IOS PRESS

We introduce and study the notion of overt choice for countably-based spaces and for CoPolish spaces. Overt choice is the task of producing a point in a closed set specified by what open sets intersect it. We show that the question of whether overt choice is continuous for a given space is related to topological completeness notions such as the Choquet-property; and to whether variants of Michael's selection theorem hold for that space. For spaces where overt choice is discontinuous it is interesting to explore the resulting Weihrauch degrees, which in turn are related to whether or not the space is Frechet-Urysohn.

Web of Science ® 被引用回数 : 1

リンク情報
DOI
https://doi.org/10.3233/COM-190253
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000559732100002&DestApp=WOS_CPL
ID情報
  • DOI : 10.3233/COM-190253
  • ISSN : 2211-3568
  • eISSN : 2211-3576
  • Web of Science ID : WOS:000559732100002

エクスポート
BibTeX RIS