Minimal invariant spaces in formal topology

被引：3

|

作者：

Coquand, T

机构：

[1] Department of Computer Science, Chalmers University

来源：

JOURNAL OF SYMBOLIC LOGIC | 1997年 / 62卷 / 03期

关键词：

D O I：

10.2307/2275567

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

收藏

页码：689 / 698

页数：10

相关论文

共 50 条

[21] Cosheaves and connectedness in formal topology
Vickers, Steven
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (02) : 157 - 174
[22] Independence results in formal topology
Valentini, Silvio
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (02) : 151 - 156
[23] A Formal Topology of Web Classification
Ciobanu, Gabriel
Rusu, Danut
GRAPH-BASED REPRESENTATION AND REASONING, 2014, 8577 : 145 - 158
[24] General Recursion and Formal Topology
Coen, Claudio Sacerdoti
Valentini, Silvio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (43): : 65 - 75
[25] Compactness in locales and in formal topology
Vickers, S
ANNALS OF PURE AND APPLIED LOGIC, 2006, 137 (1-3) : 413 - 438
[26] Lawson topology of the space of formal balls and the hyperbolic topology
Tsuiki, Hideki
Hattori, Yasunao
THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 198 - 205
[27] FORMAL COMPLEX SPACES
BINGENER, J
MANUSCRIPTA MATHEMATICA, 1978, 24 (03) : 253 - 293
[28] MINIMAL TF-SPACES AND MINIMAL TFF-SPACES
JOHNSTON, B
MCCARTAN, SD
PROCEEDINGS OF THE ROYAL IRISH ACADEMY SECTION A-MATHEMATICAL AND PHYSICAL SCIENCES, 1980, 80 (01) : 93 - 96
[29] TRANSLATION INVARIANT SPACES
LAX, PD
ACTA MATHEMATICA, 1959, 101 (3-4) : 163 - 178
[30] MINIMAL TYS-SPACES AND MINIMAL TDD-SPACES
JOHNSTON, B
MCCARTAN, SD
PROCEEDINGS OF THE ROYAL IRISH ACADEMY SECTION A-MATHEMATICAL AND PHYSICAL SCIENCES, 1988, 88 (01) : 23 - 28

← 1 2 3 4 5 →