Related papers: An explicit Kuznetsov-Muravitsky enrichment
The paper is devoted to an algebraic interpretation of Kuznetsov's theorem which establishes the assertoric equipollence of intuitionistic and proof-intuitionistic propositional calculi. Given a Heyting algebra, we define an enrichable…
We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are…
For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.
Following A. Kuznetsov's outline, we restore Kuznetsov's syntactic proof of the assertoric equipollence of the intuitionistic propositional calculus and the proof-intuitionistic calculus KM (Kuznetsov's Theorem). Then, we show that this…
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with $n$ elements. This construction allows us to count them easily. We also compare the formula for the number of semi-Heyting chains thus…
For any $n<\omega$ we construct an infinite Heyting algebra $H_n$ which is $(n+1)$-generated but that contains only finite $n$-generated subalgebras. From this we conclude that for every $n<\omega$ there exists a variety of Heyting algebras…
Suppose we wish to embed an (associative) $k$-algebra $A$ in a $k$-algebra $R$ generated in some specified way; e.g., by two elements, or by copies of given $k$-algebras $A_1,$ $A_2,$ $A_3.$ Several authors have obtained sufficient…
We introduce a family of extensions of the Hietarinta-Viallet equation to a multi-term recurrence relation via a reduction from the coprimeness-preserving extension to the discrete KdV equation. The recurrence satisfies the irreducibility…
The complete enriched Lie algebras constitue the natural extension of graded Lie algebras for connected spaces. Each complete enriched Lie algebra is the rational homotopy Lie algebra of a connected space. This text is the first part of a…
It is shown that any compact K\"ahler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the…
In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert…
We establish an embedding from the Hecke algebra associated with the edge contraction of a Coxeter system along an edge to the Hecke algebra associated with the original Coxeter system.
Let K be a field of any characteristic and let R be an algebra generated by two elements satisfying quadratic equations. Then R is a homomorphic image of F=K<x,y | x^2+ax+b=0,y^2+cy+d=0> for suitable a,b,c,d in K. We establish that F can be…
We prove that any finite subdirectly irreducible Heyting algebra with involution is quasi-primal, and that injective algebras in the variety generated by a finite subdirectly irreducible Heyting algebra are precisely diagonal subalgebras of…
The construction of HNN-extensions of involutive Hom-associative algebras and involutive Hom-Lie algebras is described. Then, as an application of HNN-extension, by using the validity of Poincar\'e-Birkhoff-Witt theorem for involutive…
The current article is a short survey on the theory of Hecke algebras, and in particular Kazhdan-Lusztig theory, and on the theory of symplectic reflection algebras, and in particular rational Cherednik algebras. The emphasis is on the…
A difference equation analogue of the Knizhnik-Zamolodchikov equation is exhibited by developing a theory of the generating function $H(z)$ of Hurwitz polyzeta functions to parallel that of the polylogarithms. By emulating the role of the…
Let $A$ be a finite-dimensional $k$-algebra and $K/k$ be a finite separable field extension. We prove that $A$ is derived equivalent to a hereditary algebra if and only if so is $A\otimes_kK$.
We introduce a notion of Hopf-Lie-Rinehart algebra and show that the universal algebra of a Hopf-Lie-Rinehart algebra acquires an ordinary Hopf algebra structure.
Let $M$ denote a specific cubic fourfold that accommodates a group action by $\mathbb{Z}/3\mathbb{Z}$. Through utilization of derived Mckay correspondence, we present a new proof establishing the identification of the equivariant Kuznetsov…