Minimal invariant spaces in formal topology

被引：3

作者：

Coquand, T

机构：

[1] Department of Computer Science, Chalmers University

来源：

关键词：

D O I：

10.2307/2275567

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：689 / 698

页数：10

共 15 条

[1] A constructive topological proof of van der Waerden's theorem [J].

Coquand, T .

[2]

COQUAND T, 1994, UNPUB FORMAL SPACE U

[3]

DEBRUIJN NG, 1968, INDAGATIONES, V31, P467

[4]

FOURMAN M, 1982, LEJ BROUWER CENTENAR, P107

[5] TOPOLOGICAL DYNAMICS AND COMBINATORIAL NUMBER-THEORY [J].

FURSTENBERG, H ;

WEISS, B .

JOURNAL D ANALYSE MATHEMATIQUE, 1978, 34 :61-85

[6]

Girard J-Y., 1987, PROOF THEORY LOGICAL

[7]

Graham R.L., 1980, Ramsey Theory, V2nd

[8]

Hilbert D, 1923, MATH ANN, V88, P151

[9]

JOHNSTONE PT, 1981, STONE SPACES

[10]

Lorenzen Paul, 1959, J SYMBOLIC LOGIC, V24, P37