|
|
|
|
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
|
|
|
|
|
|
|
|
نویسنده
|
- -
|
|
منبع
|
categories and general algebraic structures with applications - 2014 - دوره : 2 - شماره : 1 - صفحه:65 -82
|
|
چکیده
|
This paper is the second of a two part series. in this part, we prove, using the description of simples obtained in part i, that the variety $mathbf{rdqdstsh_1}$ of regular dually quasi-de morgan stone semi-heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{rdqdstsh_1}$-chains and the variety of dually quasi-de morgan boolean semi-heyting algebras--the latter is known to be generated by the expansions of the three 4-element boolean semi-heyting algebras. as consequences of our main theorem, we present (equational) axiomatizations for several subvarieties of $mathbf{rdqdstsh_1}$. the paper concludes with some open problems for further investigation.
|
|
کلیدواژه
|
Regular dually ,quasi-De Morgan ,semi-Heyting algebra of level 1 ,dually pseudocomplemented semi-Heyting algebra ,De Morgan semi-Heyting algebra ,strongly blended ,Stone semi-Heyting algebra ,discriminator variety ,simple ,directly indecomposable ,subdirectly irreducible ,equational base
|
|
آدرس
|
Department of Mathematics, State University, Department of Mathematics, State University of New York, New Paltz, NY 12561, ایران
|
|
پست الکترونیکی
|
sankapph@newpaltz.edu
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|