A complete Heyting algebra whose Scott space is non-sober (Q5146439)
From MaRDI portal
scientific article; zbMATH DE number 7301057
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A complete Heyting algebra whose Scott space is non-sober |
scientific article; zbMATH DE number 7301057 |
Statements
A complete Heyting algebra whose Scott space is non-sober (English)
0 references
25 January 2021
0 references
Scott topology
0 references
sober space
0 references
well-filtered space
0 references
upper space
0 references
