|
|||||
|
|
A general insertion theorem for uniform locales |
|
| Institution: | 1. Department of Mathematics, University of the Basque Country UPV/EHU, 48080 Bilbao, Spain;2. CMUC, Department of Mathematics, University of Coimbra, 3001-501 Coimbra, Portugal |
| Abstract: | |
| Keywords: | Locale Frame Cover Insertion theorem Extension theorem Separation theorem |
| 本文献已被 ScienceDirect 等数据库收录！ | |