Not every splitting Heyting or interior algebra is finitely presentable (Q454375): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users 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/s11225-012-9391-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2002094262 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injective and Projective Heyting Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4137166 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the structure of varieties with equationally definable principal congruences. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4049062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3735758 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3022776 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5502720 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5570908 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An almost general splitting theorem for modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tools and techniques in modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice of normal modal logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5518356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4065518 / rank | |||
Normal rank |
Latest revision as of 18:25, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Not every splitting Heyting or interior algebra is finitely presentable |
scientific article |
Statements
Not every splitting Heyting or interior algebra is finitely presentable (English)
0 references
1 October 2012
0 references
A pair \(V_1, V_2\) of subvarieties of a variety \(V\) is called a splitting pair if one of them is not a subvariety of the other and for every subvariety \(W\) of \(V\) either \(V_1\) or \(V_2\) is a subvariety of \(W\). It is known that, if \(V_1, V_2\) is a splitting pair, then the variety \(V_1\) is generated by a finitely generated subdirectly irreducible algebra; such an algebra is called a splitting algebra. On the other hand, the variety \(V_2\) can be defined by a single identity. The paper contains an example of a variety of Heyting algebras and of a splitting algebra in this variety which is not finitely presentable. It is shown that the corresponding splitting pair cannot be defined by any finitely presentable algebra. Using the Gödel-McKinsey-Tarski translation and the Blok-Esakia theorem, the author constructs a variety of Gregorczyk algebras with similar properties.
0 references
splitting algebra
0 references
finitely presentable algebra
0 references
Heyting algebra
0 references
intermediate logic
0 references
interior algebra
0 references
modal logic
0 references