3 papers
math.LO2026
On Strong Structural Completeness of Varieties and Quasivarieties
Alex Citkin
We study structural completeness in the infinitary sense (strong structural completeness) in an algebraic setting. A variety is structurally complete (SCpl) if it is generated, as…
math.LO2025
Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
Alex Citkin
We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras…
math.LO2025
In Memoriam Vadim Anatol'evich Yankov (1935-2024)
Alex Citkin, Ioannis M. Vandoulakis
This short note is dedicated to the memory of the distinguish logician V. Yankov (Jankov).