𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Universal Group of a Heyting Effect Algebra

✍ Scribed by David J. Foulis

Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
266 KB
Volume
84
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computing Representations of a Lie Group
Computing Representations of a Lie Group via the Universal Enveloping Algebra
✍ Philip Feinsilver; RenΓ© Schott πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 373 KB

We present an algorithm for the computation of representations of a Lie algebra acting on its universal enveloping algebra. This is a new algorithm which permits the effective computation of these representations and of the matrix elements of the corresponding Lie group. The approach is based on a m

Concerning axiomatizability of the quasi
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
✍ WlesΕ‚aw Dziobiak πŸ“‚ Article πŸ“… 1982 πŸ› Springer Netherlands 🌐 English βš– 852 KB

In classes of algebras such as lattices, groups, and rings, there arefinite algebras which individually generate quasivarieties which are not finitely axiomatiza.ble (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras