Separating notions in effective topology

被引:2
|
作者
Melnikov, Alexander G. [1 ]
Ng, Keng Meng [2 ]
机构
[1] Victoria Univ Wellington, Wellington, New Zealand
[2] Nanyang Technol Univ, Singapore, Singapore
关键词
Computable topology; computable topological groups; DEGREE SPECTRA; COMPACT; CONTINUITY;
D O I
10.1142/S0218196723500649
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We compare several natural notions of effective presentability of a topological space up to homeomorphism. We note that every left-c.e. (lower-semicomputable) Stone space is homeomorphic to a computable one. In contrast, we produce an example of a locally compact, left-c.e. space that is not homeomorphic to any computable Polish space. We apply a similar technique to produce examples of computable topological spaces not homeomorphic to any right-c.e. (upper-semicomputable) Polish space, and indeed to any arithmetical or even analytical Polish space. We then apply our techniques to totally disconnected locally compact (tdlc) groups. We prove that every computably locally compact tdlc group is topologically isomorphic to a computable tdlc group.
引用
收藏
页码:1687 / 1711
页数:25
相关论文
共 50 条
  • [1] Separating the notions of self- and autoreducibility
    Faliszewski, P
    Ogihara, M
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005, PROCEEDINGS, 2005, 3618 : 308 - 315
  • [2] New notions for discrete topology
    Bertrand, G
    [J]. DISCRETE GEOMETRY FOR COMPUTER IMAGERY, 1999, 1568 : 218 - 228
  • [3] Notions of β-Closure Compatible Topology with an Ideal
    Beulah, V.
    Theodore, Jessie
    Premalatha, D.
    [J]. BOLETIM SOCIEDADE PARANAENSE DE MATEMATICA, 2023, 41 : 1 - 11
  • [4] Connecting graphical notions of separation and statistical notions of independence for topology reconstruction
    Materassi, Donatello
    [J]. 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 437 - 442
  • [5] BASIC NOTIONS FOR FUZZY TOPOLOGY .1.
    EKLUND, P
    GAHLER, W
    [J]. FUZZY SETS AND SYSTEMS, 1988, 26 (03) : 333 - 356
  • [6] Topology in fuzzy class theory: Basic notions
    Behounek, Libor
    Kroupa, Tomas
    [J]. FOUNDATIONS OF FUZZY LOGIC AND SOFT COMPUTING, PROCEEDINGS, 2007, 4529 : 513 - +
  • [7] BASIC NOTIONS FOR FUZZY TOPOLOGY .2.
    EKLUND, P
    GAHLER, W
    [J]. FUZZY SETS AND SYSTEMS, 1988, 27 (02) : 171 - 195
  • [8] USE OF TOPOLOGY NOTIONS IN SUPERVISED OR UNSUPERVISED CLASSIFICATIONS
    LUMMAUX, JC
    [J]. ANNALES DES MINES, 1980, 186 (4-5): : 136 - 139
  • [9] A CATEGORICAL ACCOMMODATION OF VARIOUS NOTIONS OF FUZZY TOPOLOGY
    RODABAUGH, SE
    [J]. FUZZY SETS AND SYSTEMS, 1983, 9 (03) : 241 - 265
  • [10] SEPARATING TOPOLOGY FOR LORENTZ GROUP L
    VROEGINDEWEIJ, PG
    [J]. JOURNAL OF MATHEMATICAL PHYSICS, 1975, 16 (06) : 1210 - 1213