Catalog Home Page

Internalizing equality in Boolean algebras

Fearnley-Sander, D. and Stokes, T. (2000) Internalizing equality in Boolean algebras. Algebra Universalis, 43 (2-3). pp. 187-196.

Link to Published Version: http://dx.doi.org/10.1007/s000120050152
*Subscription may be required

Abstract

We show that equality may be internalized in Boolean algebras, in a number of possible ways, as a binary operation satisfying reflexivity and replacement properties. The variety of equality Boolean rings is shown to be equivalent to the variety of modal rings (Boolean rings endowed with a generalised interior operator and important in modal logic). Varying the strength and exact nature of the replacement property corresponds to selecting from a number of natural varieties of modal rings. The work generalises a result of Suszko who considered the S4 case.

Publication Type: Journal Article
Murdoch Affiliation: School of Mathematical and Physical Sciences
Publisher: Springer
Copyright: © 2000 Birkhäuser Verlag Basel
URI: http://researchrepository.murdoch.edu.au/id/eprint/35872
Item Control Page Item Control Page