摘要
不用选择公理,对于可数个具有(resp.相容)度量直径的locale,可在它们的locale乘积上相关地构造一个(resp.相容)度量直径.
Without using axiom of choice,for countable locales with diameters (resp.compatible diameters),the author relevantly constructed a diameter (resp.compatible diameter)on their locale products.
出处
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
1998年第6期834-839,共6页
Journal of Sichuan University(Natural Science Edition)