|
|||||
|
|
The Universal Group of a Heyting Effect Algebra |
|
| Authors: | David J Foulis |
| Institution: | (1) Emeritus Professor of Mathematics, University of Massachusetts, 1 Sutton Court, Amherst, MA 01002, USA |
| Abstract: | A Heyting effect algebra (HEA) is a lattice-ordered effect algebra that is at the same time a Heyting algebra and for which the Heyting center coincides with the effect-algebra center. Every HEA is both an MV-algebra and a Stone-Heyting algebra and is realized as the unit interval in its own universal group. We show that a necessary and sufficient condition that an effect algebra is an HEA is that its universal group has the central comparability and central Rickart properties. Presented by Daniele Mundici |
| Keywords: | Heyting algebra effect algebra lattice ordered MV-algebra pseudocomplementation partially ordered abelian group ℓ -group universal group central comparability central Rickart property |
| 本文献已被 SpringerLink 等数据库收录！ | |