Stability of the Blok theorem (Q998759): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-008-2062-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1968707841 / rank | |||
Normal rank |
Latest revision as of 01:35, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stability of the Blok theorem |
scientific article |
Statements
Stability of the Blok theorem (English)
0 references
29 January 2009
0 references
In [On the degree of incompleteness of modal logic and the covering relation in the lattice of modal logics. Technical Report 78-07, University of Amsterdam (1978)], \textit{W. Blok} proved his celebrated result on degrees of Kripke incompleteness of normal modal logics. This theorem, known as the \textit{Blok dichotomy} or the \textit{Blok alternative}, states that for each normal modal logic \(L\) either there is no other normal modal logic with the same class of Kripke frames (\(L\) has the degree of incompleteness \(1\)) or there are uncountably many normal modal logics that share with \(L\) the same class of Kripke frames (\(L\) has the degree of incompleteness \(2^{\aleph_0}\)). In the algebraic language, Blok's dichotomy can be formulated as follows: for a variety \(V\) of Boolean algebras with a single normal unary operator either there is no other variety that has the same class of \textit{perfect algebras} -- duals of Kripke frames -- or there are uncountably many other varieties with the same class of perfect algebras. In [Modal logic. Oxford Logic Guides. 35. Oxford: Clarendon Press (1997; Zbl 0871.03007)], \textit{A. Chagrov} and \textit{M. Zakharyaschev} gave an alternative proof of this result. In this paper, the author shows, using the technique of Chagrov and Zakharyaschev [loc.~cit.], that the Blok dichotomy also holds when perfect algebras are replaced by \(\omega\)-complete algebras (algebras where every countable family has a supremum), atomic algebras with completely additive operators or algebras admitting residuals. He also generalizes the Blok dichotomy to lattices of varieties of Boolean algebras with finitely many unary operators. The paper also answers a question posed by \textit{W. Dzobiak} [``A note on incompleteness of modal logics with respect to neighbourhood semantics'', Bull. Sect. Logic, Pol. Acad. Sci. 7, 185--190 (1978; Zbl 0415.03020)] by constructing a complete and atomic algebra that generates a variety which is not determined by any class of subdirectly irreducible \(\omega\)-complete algebras.
0 references
BAOs
0 references
\(\omega\)-complete algebras
0 references
atomic algebras
0 references
completely aditive operators
0 references
residuals
0 references
duality
0 references
modal logic
0 references
degree of incompleteness
0 references
Blok's dichotomy
0 references