| L—论域的极大可分性 |
| |
| 引用本文： | 张国强.L—论域的极大可分性[J].上海师范大学学报(自然科学版),2003,32(2):1-7. |
| |
| 作者姓名： | 张国强 |
| |
| 作者单位： | 1. 上海师范大学,数理信息学院,上海,200234
2. 凯斯西部保留地大学,电子工程与计算机科学系,美国俄亥俄洲克利夫兰 |
| |
| 基金项目： | Supported by the NSFs of China (No. 69873034,60273052)，the Shuguang Project of Shanghai City(99SG46)，the Key Science-Tech Project of the Educational Committee of Shanghai(02DZ46) |
| |
| 摘 要： | 主要研究L-论域的极大可分性的等价刻画,论域的局部分配性与交紧性等基本概念被引入.局部分配的交紧的L-论域称为dm-论域.论文表明:一个L-论域是极大可分的当且仅当只要值域为dm-论域就有极大稳定映射与极大类稳定映射一致。
|
| 关 键 词： | 论域理论 L-论域 稳定映射 极大可分论域 |
Maximum-separability of L-domains |
| |
| Abstract.Maximum-separability of L-domains[J].Journal of Shanghai Normal University(Natural Sciences),2003,32(2):1-7. |
| |
| Authors: | Abstract |
| |
| Abstract: | This note pays attention to the characterization of maximum-separability of L-domains.Two basic notions,such as local distributivity and meet-compacy are introduced.L-domains with such two axioms are called dm-domains.Then the authors show that an L-domain is maximum-separable if and only if for any dm-domain as the output domain,maximal stable functions are the same as maximum-type total stable functions. |
| |
| Keywords: | domain theory L-domains stable functions maximum-separable domains |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《上海师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《上海师范大学学报(自然科学版)》下载免费的PDF全文 |
