HKSS-completeness of modal algebras (Q2234421)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | HKSS-completeness of modal algebras |
scientific article |
Statements
HKSS-completeness of modal algebras (English)
0 references
19 October 2021
0 references
modal algebra
0 references
computable structure
0 references
Boolean algebra with operators
0 references
degree spectrum
0 references
categoricity spectrum
0 references
computable dimension
0 references
first-order definability
0 references
0 references
0 references
