共 50 条
- [31] TOPOLOGICAL AND STRUCTURAL COMPLETENESS OF NORMED AND LINEAR TOPOLOGICAL STRUCTURES DOKLADY AKADEMII NAUK SSSR, 1962, 143 (02): : 262 - &
- [32] LOCAL DEDEKIND-COMPLETENESS AND BOUNDED DEDEKIND-COMPLETENESS IN TOPOLOGICAL RIESZ SPACES JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1969, 1 (2P2): : 207 - +
- [34] ON THE COMPLETENESS OF ORDER-STATISTICS ANNALS OF MATHEMATICAL STATISTICS, 1960, 31 (03): : 794 - 797
- [35] Completeness of the Higher Order Harmonics Tsinghua Science and Technology, 1999, (04) : 1647 - 1651
- [38] A topological completeness theorem for transfinite provability logic Archive for Mathematical Logic, 2023, 62 : 751 - 788