Topological Analysis of Representations

被引：1
|
作者：
Hoyrup, Mathieu [1 ]
机构：
[1] Univ Lorraine, LORIA, INRIA, CNRS, F-54000 Nancy, France
来源：
SAILING ROUTES IN THE WORLD OF COMPUTATION | 2018年 / 10936卷
关键词：
COMPUTATION;
D O I：
10.1007/978-3-319-94418-0_22
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Computable analysis is the theoretical study of the abilities of algorithms to process infinite objects. The algorithms abilities depend on the way these objects are presented to them. We survey recent results on the problem of identifying the properties of objects that are decidable or semidecidable, for several concrete classes of objects and representations of them. Topology is at the core of this study, as the decidable and semidecidable properties are closely related to the open sets induced by the representation.
引用
收藏
页码：214 / 223
页数：10
相关论文
共 50 条
  • [41] Topological Representations of Distributive Hypercontinuous Lattices
    Xu, Xiaoquan
    Yang, Jinbo
    CHINESE ANNALS OF MATHEMATICS SERIES B, 2009, 30 (02) : 199 - 206
  • [42] Rough representations of rough topological groups
    Kieou, Essoyomewe
    Todjro, Mawoussi
    Mensah, Yaogan
    APPLIED GENERAL TOPOLOGY, 2023, 24 (02): : 333 - 341
  • [43] Topological representations of simplicial complexes and their applications
    Abdelfattah A. El-Atik
    A. A. Azzam
    Afrika Matematika, 2023, 34
  • [44] Topological representations of distributive hypercontinuous lattices
    Xiaoquan Xu
    Jinbo Yang
    Chinese Annals of Mathematics, Series B, 2009, 30 : 199 - 206
  • [45] Normal domain representations of topological spaces
    Rummelhoff, I
    MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (03) : 409 - 412
  • [46] Addition theorems and representations of topological semigroups
    Shulman, E
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2006, 316 (01) : 9 - 15
  • [47] REPRESENTATIONS OF LOCALLY COMPACT TOPOLOGICAL GROUPS
    BOSECK, H
    MATHEMATISCHE NACHRICHTEN, 1976, 74 : 233 - 251
  • [48] On topological centers induced by unitary representations
    Seyedeh Somayeh Jafari
    Archiv der Mathematik, 2021, 117 : 323 - 333
  • [49] Decomposable functions and representations of topological semigroups
    Ekaterina Shulman
    Aequationes mathematicae, 2010, 79 : 13 - 21
  • [50] Chain homotopies for object topological representations
    Gonzalez-Diaz, R.
    Jimenez, M. J.
    Medrano, B.
    Real, P.
    DISCRETE APPLIED MATHEMATICS, 2009, 157 (03) : 490 - 499
12345