A constructive theory of point-set nearness

被引：4
|
作者：
Vîta, LS [1 ]
Bridges, DS [1 ]
机构：
[1] Univ Canterbury, Dept Math & Stat, Christchurch 1, New Zealand
来源：
THEORETICAL COMPUTER SCIENCE | 2003年 / 305卷 / 1-3期
关键词：
constructive mathematics; nearness; apartness;
D O I：
10.1016/S0304-3975(02)00711-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology. (C) 2002 Elsevier B.V. All rights reserved.
引用
收藏
页码：473 / 489
页数：17
相关论文
共 50 条
  • [1] GREEVER,J - THEORY + EXAMPLES OF POINT-SET TOPOLOGY
    HALL, DW
    AMERICAN SCIENTIST, 1967, 55 (04) : A499 - &
  • [2] Upward Point-Set Embeddability
    Geyer, Markus
    Kaufmann, Michael
    Mchedlidze, Tamara
    Symvonis, Antonios
    SOFSEM 2011: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2011, 6543 : 272 - 283
  • [3] Point-Set Kernel Clustering
    Ting, Kai Ming
    Wells, Jonathan R.
    Zhu, Ye
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2023, 35 (05) : 5147 - 5158
  • [4] Defining point-set surfaces
    Amenta, N
    Kil, YJ
    ACM TRANSACTIONS ON GRAPHICS, 2004, 23 (03): : 264 - 270
  • [5] On the T1 axiom and other separation properties in constructive point-free and point-set topology
    Aczel, Peter
    Curi, Giovanni
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (04) : 560 - 569
  • [6] Music Analysis and Point-Set Compression
    Meredith, David
    JOURNAL OF NEW MUSIC RESEARCH, 2015, 44 (03) : 245 - 270
  • [7] Orthogeodesic Point-Set Embedding of Trees
    Di Giacomo, Emilio
    Frati, Fabrizio
    Fulek, Radoslav
    Grilli, Luca
    Krug, Marcus
    GRAPH DRAWING, 2012, 7034 : 52 - +
  • [8] MULTIPLE LABELS POINT-SET REGISTRATION
    Van Reeth, Eric
    Sdika, Michael
    Luppi, Pierre-Herve
    Libourel, Paul-Antoine
    Beuf, Olivier
    2015 IEEE 12TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI), 2015, : 609 - 612
  • [9] Bounds of point-set domination number
    Goyal, Alka
    Bandopadhyaya, Lakshmisree
    Gupta, Purnima
    COMMUNICATIONS IN COMBINATORICS AND OPTIMIZATION, 2024, 9 (01) : 79 - 87
  • [10] Orthogeodesic point-set embedding of trees
    Di Giacomo, Emilio
    Frati, Fabrizio
    Fulek, Radoslav
    Grilli, Luca
    Krug, Marcus
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2013, 46 (08): : 929 - 944
12345