首页    期刊浏览 2024年12月03日 星期二
登录注册

文章基本信息

  • 标题:Total Representations
  • 本地全文:下载
  • 作者:Victor Selivanov
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2013
  • 卷号:9
  • 期号:2
  • 页码:1
  • DOI:10.2168/LMCS-9(2:5)2013
  • 出版社:Technical University of Braunschweig
  • 摘要:Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.
  • 其他关键词:Representation, total representation, space, Baire space, hierarchy, reducibility, continuous function
国家哲学社会科学文献中心版权所有