نتایج جستجو برای: symmetric heyting algebras
تعداد نتایج: 122817 فیلتر نتایج به سال:
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.
locally extended affine lie algebras were introduced by morita and yoshii in [j. algebra 301(1) (2006), 59-81] as a natural generalization of extended affine lie algebras. after that, various generalizations of these lie algebras have been investigated by others. it is known that a locally extended affine lie algebra can be recovered from its centerless core, i.e., the ideal generated by weight...
in this paper we introduce two symmetric variants of amenability, symmetric module amenability and symmetric connes amenability. we determine symmetric module amenability and symmetric connes amenability of some concrete banach algebras. indeed, it is shown that $ell^1(s)$ is a symmetric $ell^1(e)$-module amenable if and only if $s$ is amenable, where $s$ is an inverse semigroup with subsemigr...
In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0 1) (0 1) 1. We prove that ISSH contains all the subvarieties introduced by Sankappanavar and it is in fact the least subvariety of SH with this property. We als...
We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.
According to a result by K. B. Lee, the lattice of varieties of pseudocomplemented distributive lattices is the ui + 1 chain B_i C Bo C Bi C • ■ ■ C Bn C •■ • C Bw in which the first three varieties are formed by trivial, Boolean, and Stone algebras respectively. In the present paper it is shown that any Stone algebra is determined within Bi by its endomorphism monoid, and that there are at mos...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید