Dual categories for endodualisable Heyting algebras: optimization and axiomatization (Q2577735): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-005-1920-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2040962856 / rank | |||
Normal rank |
Latest revision as of 19:49, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dual categories for endodualisable Heyting algebras: optimization and axiomatization |
scientific article |
Statements
Dual categories for endodualisable Heyting algebras: optimization and axiomatization (English)
0 references
6 January 2006
0 references
The paper is contribution to the natural duality theory and to the theory of standard topological quasi-varieties. Especially, the duality on the variety generated by the \(n\)-element Heyting chain is investigated. In the case \(n=4\), the authors give a set of quasi-equations that describe the dual category. A quasi-equational description of the optimal dual category for the variety of Heyting algebras generated by the (non-chain) Heyting algebra \({\mathbf 2}^2\oplus 1\) is given. Some further interesting results are obtained.
0 references
natural duality
0 references
standard topological quasi-variety
0 references
Heyting algebra
0 references