An effective representation for finitely generated free interior algebras (Q1063013)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An effective representation for finitely generated free interior algebras |
scientific article |
Statements
An effective representation for finitely generated free interior algebras (English)
0 references
1985
0 references
An interior algebra (IA) is in fact a closure algebra in which one works with the interior operator \(I=\rceil C\rceil\) instead of the closure operator C. An I-model is the algebraic version of the concept of Kripke model for S4. The author obtains a representation of every finitely generated free IA as an IA of subsets of the set-theoretical union of certain I-models. This yields a representation of the Heyting algebra of all open elements of the free IA as well as certain strengthened versions of several results of \textit{J. C. C. McKinsey} and \textit{A. Tarski} [Ann. Math., II. Ser. 45, 141-191 (1944; Zbl 0060.062); ibid. 47, 122-162 (1946; Zbl 0060.062)] and \textit{W. J. Block} [Indagationes Math. 39, 362-379 (1977; Zbl 0412.03041)].
0 references
finitely generated free interior algebras
0 references
closure algebra
0 references
I-model
0 references
Kripke model
0 references
representation
0 references
Heyting algebra
0 references