Not every splitting Heyting or interior algebra is finitely presentable

DOI10.1007/S11225-012-9391-1MaRDI QIDQ454375zbMATH OpenOpenAlexFDO

Authors Alex Citkin

Publication date 1 October 2012

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9391-1

zbMATH Keywords

finitely presentable algebraHeyting algebrainterior algebraintermediate logicmodal logicsplitting algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Review text

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.

Recommendations

• Splittings in varieties of logic
• Varieties of monadic Heyting algebras. I
• Varieties of BL-algebras. III: Splitting algebras
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• Finitely generated free Heyting algebras

Cites work

• A lattice of normal modal logics
• An almost general splitting theorem for modal logic
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3482306 (Why is no real title available?)
• scientific article; zbMATH DE number 3564971 (Why is no real title available?)
• scientific article; zbMATH DE number 5488086 (Why is no real title available?)
• scientific article; zbMATH DE number 3230245 (Why is no real title available?)
• scientific article; zbMATH DE number 3287709 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Injective and Projective Heyting Algebras
• On the structure of varieties with equationally definable principal congruences. I
• Tools and techniques in modal logic

Cited in

(4)

• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• ${\cal P}_w$ Is Not a Heyting Algebra
• Characteristic formulas over intermediate logics
• Yankov Characteristic Formulas (An Algebraic Account)

This page was built for publication: Not every splitting Heyting or interior algebra is finitely presentable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454375)