Overlap Algebras as Almost Discrete Locales (Q6137844)
From MaRDI portal
scientific article; zbMATH DE number 7788993
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Overlap Algebras as Almost Discrete Locales |
scientific article; zbMATH DE number 7788993 |
Statements
Overlap Algebras as Almost Discrete Locales (English)
0 references
16 January 2024
0 references
strongly dense sublocales
0 references
almost discrete spaces
0 references
overlap algebras
0 references
constructive topology
0 references
0 references
