Endomorphisms and homomorphisms of Heyting algebras
β Scribed by M. E. Adams; V. Koubek; J. Sichler
- Publisher
- Springer
- Year
- 1985
- Tongue
- English
- Weight
- 603 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0002-5240
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We present a new deterministic algorithm for constructing homomorphism spaces and endomorphism rings of finite-dimensional modules. The modules are given via vertex projective presentations over path algebras and finite-dimensional quotients of path algebras. We use the theory of right GrΓΆbner bases
In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answ