Topological Analysis of Representations

被引:1
|
作者
Hoyrup, Mathieu [1 ]
机构
[1] Univ Lorraine, LORIA, INRIA, CNRS, F-54000 Nancy, France
来源
关键词
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 条
  • [21] THE TOPOLOGICAL RATIONALITY OF LINEAR REPRESENTATIONS
    CAPPELL, SE
    SHANESON, JL
    PUBLICATIONS MATHEMATIQUES, 1982, (56): : 101 - 128
  • [22] On approximations of topological groups and their representations
    Gordon, EI
    DOKLADY AKADEMII NAUK, 1995, 345 (05) : 593 - 595
  • [23] Topological restrictions on Anosov representations
    Canary, Richard
    Tsouvalas, Konstantinos
    JOURNAL OF TOPOLOGY, 2020, 13 (04) : 1497 - 1520
  • [24] Homogenization of word relationships in schizophrenia: Topological analysis of cortical semantic representations
    Hayashi, Ryusuke
    Kaji, Shizuo
    Matsumoto, Yukiko
    Nishida, Satoshi
    Nishimoto, Shinji
    Takahashi, Hidehiko
    PSYCHIATRY AND CLINICAL NEUROSCIENCES, 2024, 78 (11) : 687 - 695
  • [25] Topological representations of crystal structures: generation, analysis and implementation in the TopCryst system
    Shevchenko, Alexander P.
    Shabalin, Aleksandr A.
    Karpukhin, Igor Yu.
    Blatov, Vladislav A.
    SCIENCE AND TECHNOLOGY OF ADVANCED MATERIALS-METHODS, 2022, 2 (01): : 250 - 265
  • [26] AUGMENTING MOLECULAR DEEP GENERATIVE MODELS WITH TOPOLOGICAL DATA ANALYSIS REPRESENTATIONS
    Schiff, Yair
    Chenthamarakshan, Vijil
    Hoffman, Samuel C.
    Ramamurthy, Karthikeyan Natesan
    Das, Payel
    2022 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2022, : 3783 - 3787
  • [28] Topological representations of simplicial complexes and their applications
    El-Atik, Abdelfattah A.
    Azzam, A. A.
    AFRIKA MATEMATIKA, 2023, 34 (02)
  • [29] Distributive contact lattices:: Topological representations
    Duentsch, Ivo
    MacCaull, Wendy
    Vakarelov, Dimiter
    Winter, Michael
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (01): : 18 - 34
  • [30] EUCLIDEAN REPRESENTATIONS OF TOPOLOGICAL ORDERED SPACES
    GRIFFITHS, HB
    MATHEMATIKA, 1992, 39 (77) : 104 - 135