On the congruence lattice of a Scott-domain (Q1802264)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the congruence lattice of a Scott-domain |
scientific article |
Statements
On the congruence lattice of a Scott-domain (English)
0 references
18 July 1993
0 references
The authors prove that every complete lattice \(L\) can be represented as the lattice of congruence relations of a Scott domain \(S\). In fact, \(S\) can be constructed as a modular lattice satisfying the ascending chain condition.
0 references
complete lattice
0 references
lattice of congruence relations of a Scott domain
0 references
modular lattice
0 references
ascending chain condition
0 references
