HEINE-BOREL THEOREM

被引：0

作者：

TEMPLE, G

机构：

来源：

QUARTERLY JOURNAL OF MATHEMATICS | 1967年 / 18卷 / 72期

关键词：

D O I：

10.1093/qmath/18.1.367

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：367 / &

共 50 条

[1] Note on the modified Heine-Borel Theorem
Verblunsky, S
[J]. PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1930, 26 : 334 - 336
[2] Splittings and Robustness for the Heine-Borel Theorem
Sanders, Sam
[J]. CONNECTING WITH COMPUTABILITY, 2021, 12813 : 395 - 406
[3] The intuitionistic form of the Heine-Borel theorem
Brouwer, LEJ
[J]. PROCEEDINGS OF THE KONINKLIJKE AKADEMIE VAN WETENSCHAPPEN TE AMSTERDAM, 1926, 29 (6/10): : 866 - 867
[4] GEOMETRIC APPROACH TO HEINE-BOREL THEOREM
KILLGROV.RB
FRAND, J
GILES, W
BRAY, H
[J]. CANADIAN JOURNAL OF MATHEMATICS, 1971, 23 (05): : 845 - &
[5] More reverse mathematics of the Heine-Borel Theorem
Hirst, Jeffry L.
Miller, Jessica
[J]. JOURNAL OF LOGIC AND ANALYSIS, 2012, 4
[6] HEINE-BOREL DOES NOT IMPLY THE FAN THEOREM
MOERDIJK, I
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 514 - 519
[7] BASICALLY BOUNDED SETS AND A GENERALIZED HEINE-BOREL THEOREM
HINDMAN, N
[J]. AMERICAN MATHEMATICAL MONTHLY, 1973, 80 (05): : 549 - 552
[8] A GEOMETRIC APPROACH TO HEINE-BOREL THEOREM . PRELIMINARY REPORT
FRAND, J
KILLGROV.RB
BRAY, HG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 557 - &
[9] A constructive proof of the Heine-Borel covering theorem for formal reals
Cederquist, J
Negri, S
[J]. TYPES FOR PROOFS AND PROGRAMS, 1996, 1158 : 62 - 75
[10] Constructive proof of the Heine-Borel covering theorem for formal reals
[J]. Lect Notes Comput Sci, (62):