RELATIONSHIP BETWEEN ORDER COMPLETENESS AND TOPOLOGICAL COMPLETENESS

被引：2

作者：

WONG, YC

机构：

来源：

关键词：

D O I：

10.1007/BF01419577

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：73 / &

共 50 条

[1] ORDER COMPLETENESS AND TOPOLOGICAL COMPLETENESS
WRIGHT, JDM
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1969, 1 (3P3): : 444 - &
[2] ORDER AND TOPOLOGICAL COMPLETENESS
NG, K
MATHEMATISCHE ANNALEN, 1972, 196 (02) : 171 - &
[3] Topological completeness for higher-order logic
Awodey, S
Butz, C
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (03) : 1168 - 1182
[4] TOPOLOGICAL COMPLETENESS OF ORDER INTERVALS IN RIESZ SPACES
DODDS, PG
CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1984, 27 (03): : 316 - 323
[5] COMPLETENESS FOR TOPOLOGICAL LANGUAGES
GARAVAGLIA, S
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (04): : A473 - A473
[6] A topological completeness theorem
Butz, C
ARCHIVE FOR MATHEMATICAL LOGIC, 1999, 38 (02) : 79 - 101
[7] A topological completeness theorem
Carsten Butz
Archive for Mathematical Logic, 1999, 38 : 79 - 101
[8] PSEUDO-COMPLETENESS AND COMPLETENESS IN LINEAR TOPOLOGICAL-SPACES
TODD, AR
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A189 - A190
[9] LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY
Sozubek, Serdar
THEORY AND APPLICATIONS OF CATEGORIES, 2012, 27 : 242 - 262
[10] Selections that characterize topological completeness
vanMill, J
Pelant, J
Pol, R
FUNDAMENTA MATHEMATICAE, 1996, 149 (02) : 127 - 141