共 50 条
- [22] A Simple Proof of the Borel Extension Theorem and Weak Compactness of Operators Czechoslovak Mathematical Journal, 2002, 52 : 691 - 703
- [25] Tietze Extension Theorem for n-dimensional Spaces FORMALIZED MATHEMATICS, 2014, 22 (01): : 11 - 19
- [26] An analysis of the Lemmas of Urysohn and Urysohn-Tietze according to effective borel measurability LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 199 - 208
- [28] PROOF OF CALDERON EXTENSION THEOREM CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1973, 16 (01): : 133 - 136
- [29] AN EXTENSION THEOREM AND A DUAL PROOF OF A THEOREM OF GLEASON JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1968, 43 (172P): : 699 - &
- [30] TIETZE EXTENSION THEOREM FOR PAIRWISE ORDERED FUZZY EXTREMALLY DISCONNECTED SPACES MATHEMATICA BOHEMICA, 2008, 133 (04): : 341 - 349